An encoding of partial algebras as total algebras

Cached

Download Links

by Răzvan Diaconescu
Venue:Information Processing Letters
Citations:3 - 2 self

Active Bibliography

Borrowing Interpolation – Răzvan Diaconescu - 2011
Saturated models in institutions – Răzvan Diaconescu , Marius Petria
543 Model Theory – Wilfrid Hodges - 2000
751 Inductive-Data-Type Systems – Frederic Blanqui, Jean-Pierre Jouannaud, Mitsuhiro Okada - 2002
568 Term Rewriting Systems – J. W. Klop - 1992
454 Rewriting – Nachum Dershowitz, David A. Plaisted - 2001
3 What is a Logic Translation? – Till Mossakowski, Răzvan Diaconescu, Andrzej Tarlecki - 2009
3 Quasi-Boolean Encodings and Conditionals in Algebraic Specification – Răzvan Diaconescu
52 Observational logic – Rolf Hennicker, Michel Bidoit - 1999