|
8
|
Logical Foundations of CafeOBJ
– Razvan Diaconescu, Kokichi Futatsugi
|
|
1
|
CafeOBJ Jewels
– Razvan Diaconescu, Kokichi Futatsugi, Shusaku Iida
|
|
3
|
Tossing Algebraic Flowers down the Great Divide
– Joseph Goguen
- 1999
|
|
|
Algebraic System Specification and Development: Survey and Annotated Bibliography - Second Edition -
– Martin Gogolla, Zhenyu Qian, Hélène Kirchner, Markus Wolf (Eds.), Maura Cerioli, Maura Cerioli, Universit`a Degli Studi Di Genova, Prof Dr, Bernd Krieg-Brückner, Bernd Krieg-bruckner
- 1997
|
|
21
|
Interpolation in Grothendieck Institutions
– Razvan Diaconescu
- 2003
|
|
|
What is a Logic? In memoriam Joseph Goguen
– Till Mossakowski, Joseph Goguen, Andrzej Tarlecki
|
|
8
|
General logics
– Till Mossakowski, Joseph Goguen, Răzvan Diaconescu
- 1989
|
|
9
|
Foundations of Heterogeneous Specification
– Till Mossakowski
|
|
|
Grothendieck Inclusion Systems
– Răzvan Diaconescu
|
|
|
Saturated models in institutions
– Răzvan Diaconescu , Marius Petria
|
|
1
|
Quasi-Boolean Encodings and Conditionals in Algebraic Specification
– Răzvan Diaconescu
|
|
11
|
A Hidden Herbrand Theorem: Combining the Object and Logic Paradigms
– Joseph Goguen, Grant Malcolm, Tom Kemp
- 1998
|
|
26
|
Extra Theory Morphisms for Institutions: logical semantics for multi-paradigm languages
– Razvan Diaconescu
- 1996
|
|
|
Towards a Functional Approach to Modular Ontologies using Institutions
– Daniel Pokrywczyński A, Grant Malcolm A
|
|
8
|
Heterogeneous colimits
– Mihai Codescu, Till Mossakowski
- 2008
|
|
2
|
Behavioral extensions of institutions
– Andrei Popescu
- 2005
|
|
1
|
An institutional view on categorical logic and the Curry-Howard-Tait-isomorphism
– Till Mossakowski, Florian Rabe, Valeria De Paiva, Lutz Schröder, Joseph Goguen
|
|
|
Behavioral Abstraction is Information Hiding
– Grigore Rosu
|
|
15
|
Composing Hidden Information Modules over Inclusive Institutions
– Joseph Goguen, Grigore Rosu
- 2003
|
