A Categorical Approach to Logics and Logic Homomorphisms (2007)

by Robert Helgesson

Active Bibliography

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
1 The OMRS Project: State of the Art – Fausto Giunchiglia, Piergiorgio Bertoli, Alessandro Coglio - 1998
35 Semantic Lego – David Espinosa - 1995
5 Category-based Modularisation for Equational Logic Programming – Razvan Diaconescu - 1996
24 Category-based Semantics for Equational and Constraint Logic Programming – Razvan Diaconescu - 1994
9 On the Role of Category Theory in the Area of Algebraic Specifications – H. Ehrig, M. Große-Rhode, U. Wolter - 1996
IOS Press Institutionalising Ontology-Based Semantic Integration – Marco Schorlemmer A, Yannis Kalfoglou B
unknown title – Egidio Astesiano A, Michel Bidoit B, Hélène Kirchner C, Bernd Krieg-brückner D, Peter D. Mosses E, Donald Sannella F, Andrzej Tarlecki G
14 Structured Theories and Institutions – Francisco Durán, José Meseguer - 1999
5 Representations, Hierarchies, and Graphs of Institutions – Till Mossakowski, Gutachter Prof, Dr. Hans-jorg Kreowski, Prof Dr, Andrzej Tarlecki, Amilcar Sernadas, Horst Reichel, Pepe Meseguer, Bernd Krieg-bruckner, Maura Cerioli, Valentin Antimirov - 1996
47 Reasoning Theories - Towards an Architecture for Open Mechanized Reasoning Systems – Fausto Giunchiglia, Paolo Pecchiari, Carolyn Talcott - 1994
35 Axiomatizing Reflective Logics and Languages – Manuel G. Clavel, José Meseguer - 1996
Semantics Of Non-Terminating Systems Through Term Rewriting – José Bernardo dos Santos Monteiro Vieira de Barros - 1995
2 Colimit Library for Graph Transformations and Algebraic Development Techniques – Dietmar Wolz, Vom Fachbereich Informatik, Dr. Hartmut Ehrig, Berichter Prof, Berichter Prof, Dr. Martin Gogolla - 1998
9 A Maude Tutorial – M. Clavel, F. Duran, S. Eker, P. Lincoln, N. Marti-Oliet, J. Meseguer, J. F. Quesada - 2000
4 Specifying Real-Time Systems in Rewriting Logic – Peter Csaba Olveczky, José Meseguer, Peter Csaba, Menlo Park - 1996
Carnap, Goguen, and the Hyperontologies Logical Pluralism and Heterogeneous Structuring in Ontology Design – Oliver Kutz, Till Mossakowski, Dominik Lücke, To Joseph Goguen
Open Mechanized Reasoning Systems – John McCarthy, Fausto Giunchiglia, Carolyn Talcott - 1992