Stop the war!

Остановите войну!

for scientists:

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

a service of

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.