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 |
| 4 | On the Role of Category Theory in the Area of Algebraic Specifications – H. Ehrig, M. Große-Rhode, U. Wolter - 1996 |
| 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 |
| 33 | 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 |
| Open Mechanized Reasoning Systems – John McCarthy, Fausto Giunchiglia, Carolyn Talcott - 1992 | |
| Carnap, Goguen, and the Hyperontologies Logical Pluralism and Heterogeneous Structuring in Ontology Design – Oliver Kutz, Till Mossakowski, Dominik Lücke, To Joseph Goguen | |
| 8 | Interconnection of Object Specifications – Grant Malcolm - 1996 |
| 4 | Specifying Real-Time Systems in Rewriting Logic – Peter Csaba Olveczky, José Meseguer, Peter Csaba, Menlo Park - 1996 |
| 12 | Combining and Representing Logical Systems – Till Mossakowski , Andrzej Tarlecki, Wieslaw Pawlowski - 1997 |
