|
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
|
|
4
|
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
|
|
17
|
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
|
|
5
|
The Institution of Multialgebras - a general framework for algebraic software development
– Yngve Lamo
- 2002
|
|
10
|
Moving Specification Structures Between Logical Systems
– Tomasz Borzyszkowski
- 1998
|
|
3
|
Institutions for Logic Programming
– Fernando Orejas, Elvira Pino, Hartmut Ehrig
- 1997
|
|
9
|
Foundations of Heterogeneous Specification
– Till Mossakowski
|
|
3
|
Translating OBJ3 into CASL: the Institution Level
– Till Mossakowski
- 1998
|
|
6
|
Structuring and Modularity
– Fernando Orejas
- 1996
|
|
4
|
On the Role of Category Theory in the Area of Algebraic Specifications
– H. Ehrig, M. Große-Rhode, U. Wolter
- 1996
|
|
5
|
Category-based Modularisation for Equational Logic Programming
– Razvan Diaconescu
- 1996
|
|
3
|
Tossing Algebraic Flowers down the Great Divide
– Joseph Goguen
- 1999
|
|
24
|
Category-based Semantics for Equational and Constraint Logic Programming
– Razvan Diaconescu
- 1994
|
|
4
|
Generalized Interpolation in CASL
– Tomasz Borzyszkowski
- 2000
|
