The SCEAS System
Navigation Menu

Conferences in DBLP

Workshop on Algebraic Development Techniques (WADT) / (adt)
1987 (conf/adt/1987)

  1. Michel Bidoit
    The Stratified Loose Approach: A Generalization of Initial and Loose Semantics. [Citation Graph (0, 0)][DBLP]
    ADT, 1987, pp:1-22 [Conf]
  2. 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]
  3. José Luiz Fiadeiro, Amílcar Sernadas
    Structuring Theories on Consequence. [Citation Graph (0, 0)][DBLP]
    ADT, 1987, pp:44-72 [Conf]
  4. Harald Ganzinger
    Completion with History-Dependent Complexities for Generated Equations. [Citation Graph (0, 0)][DBLP]
    ADT, 1987, pp:73-91 [Conf]
  5. Annegret Habel, Hans-Jörg Kreowski, Detlef Plump
    Jungle Evaluation. [Citation Graph (0, 0)][DBLP]
    ADT, 1987, pp:92-112 [Conf]
  6. Horst Hansen
    The ACT System: Experiences and Future Enhancements. [Citation Graph (0, 0)][DBLP]
    ADT, 1987, pp:113-130 [Conf]
  7. Thomas Lehmann, Jacques Loeckx
    The Specification Language of OBSCURE. [Citation Graph (0, 0)][DBLP]
    ADT, 1987, pp:131-153 [Conf]
  8. 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]
  9. Tobias Nipkow
    Observing Non-Deterministic Data Types. [Citation Graph (0, 0)][DBLP]
    ADT, 1987, pp:170-183 [Conf]
  10. Pilar Nivela, Fernando Orejas
    Initial Behaviour Semantics for Algebraic Specifications. [Citation Graph (0, 0)][DBLP]
    ADT, 1987, pp:184-207 [Conf]
  11. 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]
  12. Horst Reichel
    Operational Semantics of Behavioural Canons based on Narrowing. [Citation Graph (0, 0)][DBLP]
    ADT, 1987, pp:235-248 [Conf]
  13. Jos L. M. Vrancken
    The Algebraic Specification of Semi-Computable Data Types. [Citation Graph (0, 0)][DBLP]
    ADT, 1987, pp:249-259 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002