Interpolation in Grothendieck Institutions (2003)

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

Documents Related by Co-Citation

479 Institutions: Abstract model theory for specification and programming – Joseph A Goguen, Rod M Burstall - 1992
40 Institution-independent Model Theory. Birkhäuser – R Diaconescu - 2008
928 S.: Categories for the Working Mathematician – Mac Lane - 1998
547 Efficient semantic matching – Fausto Giunchiglia, Mikalai Yatskevich, Enrico Giunchiglia - 2004
162 Semantics of CLEAR, a specification language – R M Burstall, J A Goguen - 1980
484 From SHIQ and RDF to OWL: The Making of a Web Ontology Language – Ian Horrocks, Peter F. Patel-Schneider, Frank Van Harmelen - 2003
481 Conditional rewriting logic as a unified model of concurrency – J Meseguer - 1992
719 A new introduction to modal logic – M CRESSWELL, G HUGHES - 1996
568 Lattice Theory – G D Birkhoff - 1967