Abstract is missing.
- The Varieties of Programming LanguageC. A. R. Hoare. 1-18
- Independence of Negative ConstraintsJean-Louis Lassez, Ken McAloon. 19-27
- Completion Procedures as Transition Rules + ControlPierre Lescanne. 28-41
- A Modular Framework for Specification and ImplementationMartin Wirsing, Manfred Broy. 42-73
- On the Existence of Initial Models for Partial (Higher-Order) Conditional SpecificationsEgidio Astesiano, Maura Cerioli. 74-88
- Terms and Infinite Trees as Monads Over a SignatureEric Badouel. 89-103
- The Subsequence Graph of a TextRicardo A. Baeza-Yates. 104-118
- Syntactical Properties of Unbounded Nets of ProcessorsJoffroy Beauquier, Annie Choquet, Antoine Petit, Guy Vidal-Naquet. 119-133
- Shuffle Equations, Parallel Transition Systems and Equational Petri NetsStephen L. Bloom, Klaus Sutner. 134-148
- Towards a Lambda-Calculus for Concurrent and Communicating SystemsGérard Boudol. 149-161
- A Distributed, Net Oriented Semantics for Delta PrologAntonio Brogi, Roberto Gorrieri. 162-177
- Continuation Semantics for PROLOG with CutArie de Bruin, Erik P. de Vink. 178-192
- Labeled Trees and Relations on Generating FunctionsMarie-Pierre Delest, Jean-Marc Fedou. 193-206
- Proofs of Declarative Properties of Logic ProgramsPierre Deransart. 207-226
- The Reachability Problem for Ground TRS and Some ExtensionsAline Deruyver, Rémi Gilleron. 227-243
- Order-Sorted Completion: The Many-Sorted Way (Extended Abstract)Harald Ganzinger. 244-258
- Algebraization and Integrity Constraints for an Extended Entity-Relationship ApproachMartin Gogolla. 259-274
- Decidable Boundedness Problems for Hyperedge-Replacement Graph GrammarAnnegret Habel, Hans-Jörg Kreowski, Walter Vogler. 275-289
- Implementation of Parameterized Observational SpecificationsRolf Hennicker. 290-305
- Priority Controlled Incremental Attribute Evaluation in Attributed Graph GrammarsSimon M. Kaplan, Steven K. Goering. 306-336
- Semi-Constructive Formal Systems and Axiomatization of Abstract Data TypesPierangelo Miglioli, Ugo Moscato, Mario Ornaghi. 337-351
- Inductive Proofs by Resolution and ParamodulationPeter Padawitz. 352-368
- Local Model Checking in the Modal Mu-CalculusColin Stirling, David Walker. 369-383