Interpolation in Grothendieck Institutions (2003)

by Razvan Diaconescu
Venue:THEORETICAL COMPUTER SCIENCE
Citations:24 - 3 self

Active Bibliography

10 Foundations of Heterogeneous Specification – Till Mossakowski
Under consideration for publication in Math. Struct. in Comp. Science Interpolation for Predefined Types – unknown authors - 2008
Saturated models in institutions – Răzvan Diaconescu , Marius Petria
5 CafeOBJ: Logical Foundations and Methodologies – Razvan Diaconescu, Kokichi Futatsugi, Kazuhiro Ogata - 2003
Borrowing Interpolation – Răzvan Diaconescu
On the Algebra of the Structured Specifications – Răzvan Diaconescu
An Axiomatic Approach to Structuring Specifications – Răzvan Diaconescu
1 Grothendieck Inclusion Systems – Răzvan Diaconescu
1 Kan Extensions of Institutions – Grigore Rosu
Diagram Method in Stratified Institutions – Marc Aiguier, Fabrice Barbier
3 Modules in Transition Conservativity, Composition, and Colimits – Oliver Kutz, Till Mossakowski
18 Composing Hidden Information Modules over Inclusive Institutions – Joseph Goguen, Grigore Rosu - 2003
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
4 Generalized Interpolation in CASL – Tomasz Borzyszkowski - 2000
10 Logical Foundations of CafeOBJ – Razvan Diaconescu, Kokichi Futatsugi
7 Maude's Module Algebra – Francisco Durán, José Meseguer - 2000
What is a Logic? In memoriam Joseph Goguen – Till Mossakowski, Joseph Goguen, Andrzej Tarlecki
9 General logics – Till Mossakowski, Joseph Goguen, Răzvan Diaconescu - 1989