default search action

combined dblp search
author search
venue search
publication search

ask others

5. ADT 1987: Gullane, Scotland

> Home > Conferences and Workshops > ADT

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/adt/1987
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adt/1987
Donald Sannella, Andrzej Tarlecki:
Recent Trends in Data Type Specification, 5th Workshop on Abstract Data Types, Gullane, Scotland, UK, September 1-4, 1987, Selected Papers. Lecture Notes in Computer Science 332, Springer 1987
- view
  authority control:
- export record
  dblp key:
  - conf/adt/Bidoit87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adt/Bidoit87
Michel Bidoit:
The Stratified Loose Approach: A Generalization of Initial and Loose Semantics. 1-22
- view
  authority control:
- export record
  dblp key:
  - conf/adt/EhrigPBRDG87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adt/EhrigPBRDG87
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. 23-43
- view
  authority control:
- export record
  dblp key:
  - conf/adt/FiadeiroS87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adt/FiadeiroS87
José Luiz Fiadeiro, Amílcar Sernadas:
Structuring Theories on Consequence. 44-72
- view
  authority control:
- export record
  dblp key:
  - conf/adt/Ganzinger87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adt/Ganzinger87
Harald Ganzinger:
Completion with History-Dependent Complexities for Generated Equations. 73-91
- view
  authority control:
- export record
  dblp key:
  - conf/adt/HabelKP87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adt/HabelKP87
Annegret Habel, Hans-Jörg Kreowski, Detlef Plump:
Jungle Evaluation. 92-112
- view
  authority control:
- export record
  dblp key:
  - conf/adt/Hansen87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adt/Hansen87
Horst Hansen:
The ACT System: Experiences and Future Enhancements. 113-130
- view
  authority control:
- export record
  dblp key:
  - conf/adt/LehmannL87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adt/LehmannL87
Thomas Lehmann, Jacques Loeckx:
The Specification Language of OBSCURE. 131-153
- view
  authority control:
- export record
  dblp key:
  - conf/adt/MollerTW87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adt/MollerTW87
Bernhard Möller, Andrzej Tarlecki, Martin Wirsing:
Algebraic Specifications of Reachable Higher-Order Algebras. 154-169
- view
  authority control:
- export record
  dblp key:
  - conf/adt/Nipkow87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adt/Nipkow87
Tobias Nipkow:
Observing Non-Deterministic Data Types. 170-183
- view
  authority control:
- export record
  dblp key:
  - conf/adt/NivelaO87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adt/NivelaO87
Pilar Nivela, Fernando Orejas:
Initial Behaviour Semantics for Algebraic Specifications. 184-207
- view
  authority control:
- export record
  dblp key:
  - conf/adt/Poigne87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adt/Poigne87
Axel Poigné:
Partial Algebras, Subsorting, and Dependent Types: Prerequisites of Error Handling in Algebraic Specifications. 208-234
- view
  authority control:
- export record
  dblp key:
  - conf/adt/Reichel87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adt/Reichel87
Horst Reichel:
Operational Semantics of Behavioural Canons based on Narrowing. 235-248
- view
  authority control:
- export record
  dblp key:
  - conf/adt/Vrancken87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adt/Vrancken87
Jos L. M. Vrancken:
The Algebraic Specification of Semi-Computable Data Types. 249-259

Acknowledgement: The information on this page was contributed by Martin Gogolla

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.