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
Saturated models in institutions – Răzvan Diaconescu , Marius Petria
c ○ 2009 Birkhäuser Verlag Basel/Switzerland What is a Logic Translation? In memoriam – Joseph Goguen, Till Mossakowski, Răzvan Diaconescu, Andrzej Tarlecki
3 Quasi-Boolean Encodings and Conditionals in Algebraic Specification – Răzvan Diaconescu
2 Hybridization of Institutions – Manuel A. Martins, Re Madeira, Răzvan Diaconescu, Luís S. Barbosa
What is a Logic? In memoriam Joseph Goguen – Till Mossakowski, Joseph Goguen, Andrzej Tarlecki
Institutional semantics for many-valued logics – Răzvan Diaconescu
An Axiomatic Approach to Structuring Specifications – Răzvan Diaconescu
4 Mathematical models of cognitive space and time – Joseph Goguen - 2006
Quasi-varieties and Initial Semantics for Hybridized Institutions – Răzvan Diaconescu
7 The Onto-Logical Translation Graph – Till Mossakowski , Oliver Kutz
9 Heterogeneous colimits – Mihai Codescu, Till Mossakowski - 2008
4 From specifications to code in Casl – David Aspinall, Donald Sannella - 2002
10 Foundations of Heterogeneous Specification – Till Mossakowski
Heterogeneous Logical Environments for . . . – Till Mossakowski, Andrzej Tarlecki
unknown title – unknown authors - 2013
Integrating Maude into Hets – Mihai Codescu, Till Mossakowski, Adrián Riesco, Christian Maeder
Towards a Functional Approach to Modular Ontologies using Institutions – Daniel Pokrywczyński , Grant Malcolm
Towards a Functional Approach to Modular Ontologies using Institutions – Daniel Pokrywczyński A, Grant Malcolm A