|
|
Conferences in DBLP
- Michel Bidoit
The Stratified Loose Approach: A Generalization of Initial and Loose Semantics. [Citation Graph (0, 0)][DBLP]
ADT, 1987, pp:1-22 [Conf]
- Hartmut Ehrig, Francesco Parisi-Presicce, Paul Boehm, Catharina Rieckhoff, Christian Dimitrovici, Martin Große-Rhode
Algebraic Data Type and Process Specifications based on Projection Spaces. [Citation Graph (0, 0)][DBLP]
ADT, 1987, pp:23-43 [Conf]
- José Luiz Fiadeiro, Amílcar Sernadas
Structuring Theories on Consequence. [Citation Graph (0, 0)][DBLP]
ADT, 1987, pp:44-72 [Conf]
- Harald Ganzinger
Completion with History-Dependent Complexities for Generated Equations. [Citation Graph (0, 0)][DBLP]
ADT, 1987, pp:73-91 [Conf]
- Annegret Habel, Hans-Jörg Kreowski, Detlef Plump
Jungle Evaluation. [Citation Graph (0, 0)][DBLP]
ADT, 1987, pp:92-112 [Conf]
- Horst Hansen
The ACT System: Experiences and Future Enhancements. [Citation Graph (0, 0)][DBLP]
ADT, 1987, pp:113-130 [Conf]
- Thomas Lehmann, Jacques Loeckx
The Specification Language of OBSCURE. [Citation Graph (0, 0)][DBLP]
ADT, 1987, pp:131-153 [Conf]
- Bernhard Möller, Andrzej Tarlecki, Martin Wirsing
Algebraic Specifications of Reachable Higher-Order Algebras. [Citation Graph (0, 0)][DBLP]
ADT, 1987, pp:154-169 [Conf]
- Tobias Nipkow
Observing Non-Deterministic Data Types. [Citation Graph (0, 0)][DBLP]
ADT, 1987, pp:170-183 [Conf]
- Pilar Nivela, Fernando Orejas
Initial Behaviour Semantics for Algebraic Specifications. [Citation Graph (0, 0)][DBLP]
ADT, 1987, pp:184-207 [Conf]
- Axel Poigné
Partial Algebras, Subsorting, and Dependent Types: Prerequisites of Error Handling in Algebraic Specifications. [Citation Graph (0, 0)][DBLP]
ADT, 1987, pp:208-234 [Conf]
- Horst Reichel
Operational Semantics of Behavioural Canons based on Narrowing. [Citation Graph (0, 0)][DBLP]
ADT, 1987, pp:235-248 [Conf]
- Jos L. M. Vrancken
The Algebraic Specification of Semi-Computable Data Types. [Citation Graph (0, 0)][DBLP]
ADT, 1987, pp:249-259 [Conf]
|
