|
3
|
Tossing Algebraic Flowers down the Great Divide
– Joseph Goguen
- 1999
|
|
8
|
Logical Foundations of CafeOBJ
– Razvan Diaconescu, Kokichi Futatsugi
|
|
11
|
A Hidden Herbrand Theorem: Combining the Object and Logic Paradigms
– Joseph Goguen, Grant Malcolm, Tom Kemp
- 1998
|
|
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
|
A Hidden Herbrand Theorem
– Joseph Goguen, Grant Malcolm, Tom Kemp
|
|
118
|
Introducing OBJ
– Joseph A. Goguen, Timothy Winkler, José Meseguer, Kokichi Futatsugi, Jean-Pierre Jouannaud
- 1993
|
|
1
|
CafeOBJ Jewels
– Razvan Diaconescu, Kokichi Futatsugi, Shusaku Iida
|
|
7
|
Category-based Constraint Logic
– Razvan Diaconescu
- 1999
|
|
9
|
Foundations of Behavioural Specification in Rewriting Logic
– Razvan Diaconescu
- 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
|
|
104
|
A Hidden Agenda
– Joseph Goguen, Grant Malcolm
- 2000
|
|
2
|
Hidden Algebraic Engineering
– Joseph A. Goguen
- 1997
|
|
10
|
Hidden Algebra for Software Engineering
– Joseph A. Goguen
- 1999
|
|
1
|
Quasi-Boolean Encodings and Conditionals in Algebraic Specification
– Răzvan Diaconescu
|
|
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
|
|
13
|
A Category-based Equational Logic Semantics to Constraint Programming
– Razvan Diaconescu
- 1996
|
|
|
On the Algebra of the Structured Specifications
– Răzvan Diaconescu
|
|
28
|
Proving Correctness Of Refinement And Implementation
– Grant Malcolm, Joseph A. Goguen
- 1996
|
