Equivalences among Various Logical Frameworks of Partial Algebras (1996)

Cached

Download Links

by Till Mossakowski
Venue:Computer Science Logic. 9th Workshop, CSL'95. Paderborn
Citations:17 - 7 self

Active Bibliography

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
4 A Hierarchy of Institutions Separated By Properties of Parameterized Data Types – Till Mossakowski - 1995
5 Different Types of Arrow Between Logical Frameworks – Till Mossakowski - 1996
3 Parameterized Recursion Theory - A Tool for the Systematic Classification of Specification Methods – Till Mossakowski
19 From Total Equational to Partial First Order Logic – Maura Cerioli, Till Mossakowski, Horst Reichel - 1998
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
15 Using Limits of Parchments to Systematically Construct Institutions of Partial Algebras – Till Mossakowski - 1996
12 Combining and Representing Logical Systems – Till Mossakowski , Andrzej Tarlecki, Wieslaw Pawlowski - 1997
6 The Institution of Multialgebras - a general framework for algebraic software development – Yngve Lamo - 2002
10 Moving Specification Structures Between Logical Systems – Tomasz Borzyszkowski - 1998
4 Institutions for Logic Programming – Fernando Orejas, Elvira Pino, Hartmut Ehrig - 1997
10 Foundations of Heterogeneous Specification – Till Mossakowski
3 Translating OBJ3 into CASL: the Institution Level – Till Mossakowski - 1998
7 Structuring and Modularity – Fernando Orejas - 1996
9 On the Role of Category Theory in the Area of Algebraic Specifications – H. Ehrig, M. Große-Rhode, U. Wolter - 1996
3 Tossing Algebraic Flowers down the Great Divide – Joseph Goguen - 1999
5 Category-based Modularisation for Equational Logic Programming – Razvan Diaconescu - 1996
24 Category-based Semantics for Equational and Constraint Logic Programming – Razvan Diaconescu - 1994
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