Using Limits of Parchments to Systematically Construct Institutions of Partial Algebras (1996)

by Till Mossakowski
Venue:Recent Trends in Data Type Specifications. 11th Workshop on Specification of Abstract Data Types, volume 1130 of Lecture Notes in Computer Science
Citations:15 - 5 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
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
19 From Total Equational to Partial First Order Logic – Maura Cerioli, Till Mossakowski, Horst Reichel - 1998
17 Equivalences among Various Logical Frameworks of Partial Algebras – Till Mossakowski - 1996
4 A Hierarchy of Institutions Separated By Properties of Parameterized Data Types – Till Mossakowski - 1995
50 Moving Between Logical Systems – Andrzej Tarlecki - 1998
15 Combining and Representing Logical Systems Using Model-Theoretic Parchments – Till Mossakowski, Andrzej Tarlecki - 1997
1 Kan Extensions of Institutions – Grigore Rosu
12 Combining and Representing Logical Systems – Till Mossakowski , Andrzej Tarlecki, Wieslaw Pawlowski - 1997
5 Category-based Modularisation for Equational Logic Programming – Razvan Diaconescu - 1996
5 Different Types of Arrow Between Logical Frameworks – Till Mossakowski - 1996
14 Structured theory presentations and logic representations – Robert Harper, Donald Sannella, Andrzej Tarlecki - 1994
7 Context Institutions – Wieslaw Pawlowski - 1996
6 The Institution of Multialgebras - a general framework for algebraic software development – Yngve Lamo - 2002
Modular Specifications: Constructions With Finite Colimits, Diagrams, Isomorphisms – Catherine Oriat - 1996
7 Structuring and Modularity – Fernando Orejas - 1996
Under consideration for publication in Math. Struct. in Comp. Science Interpolation for Predefined Types – unknown authors - 2008
10 Foundations of Heterogeneous Specification – Till Mossakowski
On the Algebra of the Structured Specifications – Răzvan Diaconescu