![](https://dblp.uni-trier.de./img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de./img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de./img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de./img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de./img/search.dark.16x16.png)
default search action
5. ADT 1987: Gullane, Scotland
- 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 - Michel Bidoit:
The Stratified Loose Approach: A Generalization of Initial and Loose Semantics. 1-22 - 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 - José Luiz Fiadeiro, Amílcar Sernadas:
Structuring Theories on Consequence. 44-72 - Harald Ganzinger:
Completion with History-Dependent Complexities for Generated Equations. 73-91 - Annegret Habel, Hans-Jörg Kreowski, Detlef Plump:
Jungle Evaluation. 92-112 - Horst Hansen:
The ACT System: Experiences and Future Enhancements. 113-130 - Thomas Lehmann, Jacques Loeckx:
The Specification Language of OBSCURE. 131-153 - Bernhard Möller, Andrzej Tarlecki
, Martin Wirsing:
Algebraic Specifications of Reachable Higher-Order Algebras. 154-169 - Tobias Nipkow
:
Observing Non-Deterministic Data Types. 170-183 - Pilar Nivela, Fernando Orejas:
Initial Behaviour Semantics for Algebraic Specifications. 184-207 - Axel Poigné:
Partial Algebras, Subsorting, and Dependent Types: Prerequisites of Error Handling in Algebraic Specifications. 208-234 - Horst Reichel:
Operational Semantics of Behavioural Canons based on Narrowing. 235-248 - Jos L. M. Vrancken:
The Algebraic Specification of Semi-Computable Data Types. 249-259
![](https://dblp.uni-trier.de./img/cog.dark.24x24.png)
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.