Grothendieck Inclusion Systems


Download Links

by Răzvan Diaconescu
Citations:1 - 1 self

Active Bibliography

An Axiomatic Approach to Structuring Specifications – Răzvan Diaconescu
On the Algebra of the Structured Specifications – Răzvan Diaconescu
Quasi-varieties and Initial Semantics for Hybridized Institutions – Răzvan Diaconescu
Institutional semantics for many-valued logics – Răzvan Diaconescu
10 Foundations of Heterogeneous Specification – Till Mossakowski
Heterogeneous Logical Environments for . . . – Till Mossakowski, Andrzej Tarlecki
Saturated models in institutions – Răzvan Diaconescu , Marius Petria
unknown title – unknown authors - 2013
Borrowing Interpolation – Răzvan Diaconescu
3 Quasi-Boolean Encodings and Conditionals in Algebraic Specification – Răzvan Diaconescu
30 The Heterogeneous Tool Set – Till Mossakowski, Christian Maeder, Klaus Lüttich, Stefan Wölfl - 2007
Composition of Modules with Hidden Information over Inclusive Institutions – Joseph Goguen, Grigore Rosu
1 Semantics of the Distributed Ontology Language: Institutes and Institutions – Till Mossakowski, Oliver Kutz, Christoph Lange
Under consideration for publication in Math. Struct. in Comp. Science Interpolation for Predefined Types – unknown authors - 2008
18 Composing Hidden Information Modules over Inclusive Institutions – Joseph Goguen, Grigore Rosu - 2003
Towards a Functional Approach to Modular Ontologies using Institutions – Daniel Pokrywczyński A, Grant Malcolm A
5 CafeOBJ: Logical Foundations and Methodologies – Razvan Diaconescu, Kokichi Futatsugi, Kazuhiro Ogata - 2003
What is a Logic? In memoriam Joseph Goguen – Till Mossakowski, Joseph Goguen, Andrzej Tarlecki
24 Interpolation in Grothendieck Institutions – Razvan Diaconescu - 2003