Institutions: abstract model theory for specification and programming
Journal of the ACM (JACM)
On local modularity and interpolation in entailment systems
Information Processing Letters
Logical systems for structured specifications
Theoretical Computer Science
Presentations for Abstract Context Institutions
WADT '01 Selected papers from the 15th International Workshop on Recent Trends in Algebraic Development Techniques
Moving Specification Structures Between Logical Systems
WADT '98 Selected papers from the 13th International Workshop on Recent Trends in Algebraic Development Techniques
Abstract Petri Nets as a Uniform Approach to High/Level Petri Nets
WADT '98 Selected papers from the 13th International Workshop on Recent Trends in Algebraic Development Techniques
Institution-independent ultraproducts
Fundamenta Informaticae
Axiomatizability in inclusive equational logics
Mathematical Structures in Computer Science
Generalized Interpolation in First Order Logic
Fundamenta Informaticae
Stratified institutions and elementary homomorphisms
Information Processing Letters
Ultraproducts and possible worlds semantics in institutions
Theoretical Computer Science
An institutional version of Gödel's completeness theorem
CALCO'07 Proceedings of the 2nd international conference on Algebra and coalgebra in computer science
Constructor-based institutions
CALCO'09 Proceedings of the 3rd international conference on Algebra and coalgebra in computer science
Interpolation for predefined types
Mathematical Structures in Computer Science
Behavioral extensions of institutions
CALCO'05 Proceedings of the First international conference on Algebra and Coalgebra in Computer Science
An axiomatic approach to structuring specifications
Theoretical Computer Science
Generalized Interpolation in First Order Logic
Fundamenta Informaticae
Institution-independent Ultraproducts
Fundamenta Informaticae
Interpolation in logics with constructors
Theoretical Computer Science
Răzvan Diaconescu, Institution-independent Model Theory
Studia Logica
Hi-index | 0.01 |