|
|
Borrowing Interpolation
– Răzvan Diaconescu
|
|
|
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
|
|
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
|
|
2
|
Behavioral extensions of institutions
– Andrei Popescu
- 2005
|
|
|
Under consideration for publication in Math. Struct. in Comp. Science Interpolation for Predefined Types
– unknown authors
- 2008
|
|
1
|
Quasi-Boolean Encodings and Conditionals in Algebraic Specification
– Răzvan Diaconescu
|
|
|
Grothendieck Inclusion Systems
– Răzvan Diaconescu
|
|
1
|
Kan Extensions of Institutions
– Grigore Rosu
|
|
5
|
CafeOBJ: Logical Foundations and Methodologies
– Razvan Diaconescu, Kokichi Futatsugi, Kazuhiro Ogata
- 2003
|
|
|
On the Algebra of the Structured Specifications
– Răzvan Diaconescu
|
|
|
An Axiomatic Approach to Structuring Specifications
– Răzvan Diaconescu
|
|
21
|
Interpolation in Grothendieck Institutions
– Razvan Diaconescu
- 2003
|
|
5
|
Category-based Modularisation for Equational Logic Programming
– Razvan Diaconescu
- 1996
|
|
9
|
Foundations of Heterogeneous Specification
– Till Mossakowski
|
|
|
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
|
|
|
On quasi-varieties of multiple valued logic models
– Răzvan Diaconescu
- 2010
|
|
8
|
Logical Foundations of CafeOBJ
– Razvan Diaconescu, Kokichi Futatsugi
|
|
1
|
CafeOBJ Jewels
– Razvan Diaconescu, Kokichi Futatsugi, Shusaku Iida
|
