An Axiomatic Approach to Structuring Specifications

by Răzvan Diaconescu

Active Bibliography

On the Algebra of the Structured Specifications – Răzvan Diaconescu
Under consideration for publication in Math. Struct. in Comp. Science Interpolation for Predefined Types – unknown authors - 2008
Borrowing Interpolation – Răzvan Diaconescu
unknown title – unknown authors - 2013
1 Grothendieck Inclusion Systems – Răzvan Diaconescu
Quasi-varieties and Initial Semantics for Hybridized Institutions – Răzvan Diaconescu
5 Category-based Modularisation for Equational Logic Programming – Razvan Diaconescu - 1996
2 Behavioral extensions of institutions – Andrei Popescu - 2005
24 Interpolation in Grothendieck Institutions – Razvan Diaconescu - 2003
Saturated models in institutions – Răzvan Diaconescu , Marius Petria
24 Category-based Semantics for Equational and Constraint Logic Programming – Razvan Diaconescu - 1994
What is a Logic? In memoriam Joseph Goguen – Till Mossakowski, Joseph Goguen, Andrzej Tarlecki
Institutional semantics for many-valued logics – Răzvan Diaconescu
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
3 Quasi-Boolean Encodings and Conditionals in Algebraic Specification – Răzvan Diaconescu
9 General logics – Till Mossakowski, Joseph Goguen, Răzvan Diaconescu - 1989
32 An Implementation-Oriented Semantics for Module Composition – Joseph Goguen, Will Tracz - 1997
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
Heterogeneous Logical Environments for . . . – Till Mossakowski, Andrzej Tarlecki