|
11
|
A Hidden Herbrand Theorem: Combining the Object and Logic Paradigms
– Joseph Goguen, Grant Malcolm, Tom Kemp
- 1998
|
|
3
|
Tossing Algebraic Flowers down the Great Divide
– Joseph Goguen
- 1999
|
|
104
|
A Hidden Agenda
– Joseph Goguen, Grant Malcolm
- 2000
|
|
3
|
Situated Adaptive Software: Beyond the Object Paradigm
– Joseph A. Goguen, Grant Malcolm
- 1995
|
|
|
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
|
|
31
|
An Implementation-Oriented Semantics for Module Composition
– Joseph Goguen, Will Tracz
- 1997
|
|
118
|
Introducing OBJ
– Joseph A. Goguen, Timothy Winkler, José Meseguer, Kokichi Futatsugi, Jean-Pierre Jouannaud
- 1993
|
|
2
|
Hidden Algebraic Engineering
– Joseph A. Goguen
- 1997
|
|
10
|
Hidden Algebra for Software Engineering
– Joseph A. Goguen
- 1999
|
|
5
|
Category-based Modularisation for Equational Logic Programming
– Razvan Diaconescu
- 1996
|
|
7
|
Category-based Constraint Logic
– Razvan Diaconescu
- 1999
|
|
5
|
CafeOBJ: Logical Foundations and Methodologies
– Razvan Diaconescu, Kokichi Futatsugi, Kazuhiro Ogata
- 2003
|
|
1
|
Quasi-Boolean Encodings and Conditionals in Algebraic Specification
– Răzvan Diaconescu
|
|
7
|
Maude's Module Algebra
– Francisco Durán, José Meseguer
- 2000
|
|
24
|
Category-based Semantics for Equational and Constraint Logic Programming
– Razvan Diaconescu
- 1994
|
|
6
|
The Maude Specification of Full Maude
– Francisco Durán, José Meseguer
- 1999
|
|
2
|
A General Method for Safely Overwriting Theories in Mechanized Mathematics Systems
– William M. Farmer
- 1994
|
|
4
|
Semantics for Interoperability: relating ontologies and schemata
– Trevor Bench-capon, Grant Malcolm, Michael Shave
- 2002
|
|
7
|
An Algebraic Framework For The Definition Of Compositional Semantics Of Normal Logic Programs
– Paqui Lucio, Fernando Orejas, Elvira Pino, Elvira
- 1994
|
