
Conferences in DBLP
 Michel Bidoit
The Stratified Loose Approach: A Generalization of Initial and Loose Semantics. [Citation Graph (0, 0)][DBLP] ADT, 1987, pp:122 [Conf]
 Hartmut Ehrig, Francesco ParisiPresicce, Paul Boehm, Catharina Rieckhoff, Christian Dimitrovici, Martin GroßeRhode
Algebraic Data Type and Process Specifications based on Projection Spaces. [Citation Graph (0, 0)][DBLP] ADT, 1987, pp:2343 [Conf]
 José Luiz Fiadeiro, Amílcar Sernadas
Structuring Theories on Consequence. [Citation Graph (0, 0)][DBLP] ADT, 1987, pp:4472 [Conf]
 Harald Ganzinger
Completion with HistoryDependent Complexities for Generated Equations. [Citation Graph (0, 0)][DBLP] ADT, 1987, pp:7391 [Conf]
 Annegret Habel, HansJörg Kreowski, Detlef Plump
Jungle Evaluation. [Citation Graph (0, 0)][DBLP] ADT, 1987, pp:92112 [Conf]
 Horst Hansen
The ACT System: Experiences and Future Enhancements. [Citation Graph (0, 0)][DBLP] ADT, 1987, pp:113130 [Conf]
 Thomas Lehmann, Jacques Loeckx
The Specification Language of OBSCURE. [Citation Graph (0, 0)][DBLP] ADT, 1987, pp:131153 [Conf]
 Bernhard Möller, Andrzej Tarlecki, Martin Wirsing
Algebraic Specifications of Reachable HigherOrder Algebras. [Citation Graph (0, 0)][DBLP] ADT, 1987, pp:154169 [Conf]
 Tobias Nipkow
Observing NonDeterministic Data Types. [Citation Graph (0, 0)][DBLP] ADT, 1987, pp:170183 [Conf]
 Pilar Nivela, Fernando Orejas
Initial Behaviour Semantics for Algebraic Specifications. [Citation Graph (0, 0)][DBLP] ADT, 1987, pp:184207 [Conf]
 Axel Poigné
Partial Algebras, Subsorting, and Dependent Types: Prerequisites of Error Handling in Algebraic Specifications. [Citation Graph (0, 0)][DBLP] ADT, 1987, pp:208234 [Conf]
 Horst Reichel
Operational Semantics of Behavioural Canons based on Narrowing. [Citation Graph (0, 0)][DBLP] ADT, 1987, pp:235248 [Conf]
 Jos L. M. Vrancken
The Algebraic Specification of SemiComputable Data Types. [Citation Graph (0, 0)][DBLP] ADT, 1987, pp:249259 [Conf]
