Abstract is missing.
- Combining Algebra and Universal Algebra in First-Order Theorem Proving: The Case of Commutative RingsLeo Bachmair, Harald Ganzinger, Jürgen Stuber. 1-29
- Bulk Types and Query Language DesignCatriel Beeri. 30-47
- From Abstract Data Types to Logical FrameworksJosé Meseguer, Narciso Martí-Oliet. 48-80
- Algebraic Specification Languages: An OverviewMartin Wirsing. 81-115
- Types, Subtypes, and ASL+David Aspinall. 116-131
- On the Operational Semantics of the Algebraic and Logic Programming Language LPGDidier Bert, Rachid Echahed. 132-152
- Behavioural TheoriesMichel Bidoit, Rolf Hennicker. 153-169
- Equations for Describing Dynamic Nets of Communicating SystemsManfred Broy. 170-187
- A Lazy Approach to Partial AlgebrasMaura Cerioli. 188-202
- Transactions in Object-Oriented SpecificationsGrit Denker. 203-218
- Local Specification of Distributed Families of Sequential ObjectsHans-Dieter Ehrich, Amílcar Sernadas. 219-235
- Dynamic Abstract Data Types Based on Algebraic Graph TransformationsHartmut Ehrig, Michael Löwe, Fernando Orejas. 236-254
- Modular Termination of Term Rewriting Systems RevisitedMaribel Fernández, Jean-Pierre Jouannaud. 255-272
- Institutions for Behaviour SpecificationJosé Luiz Fiadeiro, José Félix Costa. 273-289
- An Algebraic Semantics for the Object Specification Language TROLL ::::light::::Martin Gogolla, Rudolf Herzig. 290-396
- Defining Equations in Terminal CoalgebrasUlrich Hensel, Horst Reichel. 307-318
- Sort Inheritance for Order-Sorted Equational PresentationsClaus Hintermeier, Claude Kirchner, Hélène Kirchner. 319-335
- Axiomatic Specification of Large Information Systems: Experiences and ConsequencesHeinrich Hußmann. 336-350
- An Object-Oriented Airport: Specification and Refinement in MaudeUlrike Lechner, Christian Lengauer, Martin Wirsing. 351-367
- Topological Methods for Algebraic SpecificationKarl Meinke. 368-388
- A Hierarchy of Institutions Seperated by Properties of Parameterized Abstract Data TypesTill Mossakowski. 389-405
- Dynamical Behavior of Object SystemsFrancesco Parisi-Presicce, Alfonso Pierantonio. 406-419
- A Theory-based Typological Notion of InstitutionsAmílcar Sernadas, Cristina Sernadas, José Manuel Valença. 420-436
- Typing Abstract Data TypesJudith L. Underwood. 437-452
- Multialgebras, Power Algebras and Complete Calculi of Identities and InclusionsMichal Walicki, Sigurd Meldal. 453-468
- Institutional FramesUwe Wolter. 469-482
- Implementation of Data Structures in an Imperative FrameworkElena Zucca. 483-498
- What is an Abstract Data Type, after all?Martin Gogolla, Maura Cerioli. 499-523