Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID7. ADT 1990: Wusterhausen, Dosse, Germany
- Hartmut Ehrig, Klaus P. Jantke, Fernando Orejas, Horst Reichel:
Recent Trends in Data Type Specification, Proceedings 7th Workshop on Abstract Data Types, Wusterhausen, Dosse, Germany, April 17-20, 1990. Lecture Notes in Computer Science 534, Springer 1991, ISBN 3-540-54496-8 - Guntis Barzdins:
ADT Implementation and Completion by Induction from Examples. 1-10 - Mohamed Bettaz:
An Association of Algebraic Term Nets and Abstract Data Types for Specifying Real Communication Protocols. 11-30 - Silvia Clerici, Fernando Orejas:
The Specification Language GSBL. 31-51 - Christian Dimitrovici, Ulrich Hummert:
Composition of Algebraic High-Level Nets. 52-73 - Hartmut Ehrig, Francesco Parisi-Presicce:
A Match Operation for Rule-Based Modular System Design. 74-97 - Martin Große-Rhode:
Towards Object-Oriented Algebraic Specifications. 98-116 - Steffen Lange, Klaus P. Jantke:
Inductive Completion for Transformation of Equational Specifications. 117-140 - Thomas Lehmann:
A Notion of Implementation for the Specification Language OBSCURE. 141-165 - Gianfranco Mascari, Antonio Vincenzi:
Model-Theoretic Specifications and Back-and-Forth Equivalences. 166-184 - Karl Meinke:
Universal Algebra in Higher Types. 185-203 - Robert Nieuwenhuis, Fernando Orejas:
Clausal Rewriting: Applications and Implementation. 204-219 - Fernando Orejas, Pilar Nivela:
Constraints for Behavioural Specifications. 220-245 - Gianna Reggio:
Entities: An Institution for Dynamic Systems. 246-265 - Horst Reichel:
A Two-Category Approach to Critical Pair Completion. 266-273 - Donald Sannella
, Andrzej Tarlecki:
A Kernel Specification Formalism with Higher-Order Parameterization. 274-296 - Donald Sannella, Andrzej Tarlecki:
Extended ML: Past, Present, and Future. 297-322 - Thomas Streicher, Martin Wirsing:
Dependent Types Considered Necessary for Specification Languages. 323-340 - Eric G. Wagner:
Generic Types in a Language for Data Directed Design. 341-361 - Dietmar Wolz:
Design of a Compiler for Lazy Pattern Driven Narrowing. 362-379
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.
last updated on 2024-04-18 20:19 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
