From Total Equational to Partial First Order Logic (1998)

Cached

Download Links

by Maura Cerioli , Till Mossakowski , Horst Reichel
Citations:19 - 8 self

Document Versions

From Total Equational to Partial First Order Logic –Maura Cerioli, Till Mossakowski, Horst Reichel — 1998