1. ALP 1988: Gaussig, GDR

Jan Grabowski, Pierre Lescanne, Wolfgang Wechler (Eds.): Algebraic and Logic Programming, International Workshop, Gaussig, GDR, November 14-18, 1988, Proceedings. Lecture Notes in Computer Science 343 Springer 1988, ISBN 3-540-50667-5

Invited Papers

Jan A. Bergstra:
ACP with Signals. 11-20
Laurent Fribourg:
Functional Extensions to Prolog: Are they Needed? 21-29
Elio Giovannetti:
Narrowing and Resolution in Logic-Functional programming Languages (Abstract). 30
Heinrich Hußmann:
Nondeterministic Algebraic Specifications and Nonconfluent Term Rewriting. 31-40
Jean-Pierre Jouannaud, Claude Kirchner, Hélène Kirchner, Aristide Mégrelis:
OBJ: Programming with Equalities, Subsorts, Overloading and Parameterization. 41-52
Gert Smolka:
Logic Programming with Polymorphically Order-Sorted Types. 53-70

Submitted Papers

Christoph Beierle, Udo Pletat:
Integrating Logic Programming and Equational Specification of Abstract Data Types. 71-82
Alexander Bockmayr:
Narrowing with Built-In Theories. 83-92
Wadoud Bousdira:
A Completion Procedure for Hierarchical Conditional Rewriting Systems. 93-107
Hubert Comon:
An Effective Method for Handling Initial Algebras. 108-118
Bernd I. Dahn:
Boolean Valued Models and Incomplete Specifications. 119-126
George Dayantis:
Types, Modularisation and Abstraction in Logic Programming. 127-136
Klaus Drosten:
Translating Algebraic Specifications to Prolog Programs: A Comparative Study. 137-146
Annie Foret:
Rewrite Rule Systems for Modal Propositional Logic. 147-156
Zoltán Fülöp, Sándor Vágvölgyi:
A Characterization of Irreducible Sets Modulo Left-Linear Term Rewriting Systems by Tree Automata. 157
Hans-Joachim Goltz:
Functional Data Term Models and Semantic Unification. 158-167
Horst Hansen, Michael Löwe:
Modular Algebraic Specifications. 168-179
Dieter Hofbauer, Ralf-Detlef Kutsche:
Proving Inductive Theorems Based on Term Rewriting Systems. 180-190
Berthold Hoffmann, Detlef Plump:
Jungle Evaluation for Efficient Term Rewriting. 191-203
Gregory Kucherov:
A New Quasi-Reducibility Testing Algorithm and its Application to Proofs by Induction. 204-213
Dongbo Liu, Deyi Li:
Fuzzy Reasoning Based on F-Horn Clause Rules. 214-222
Juan José Moreno-Navarro, Mario Rodríguez-Artalejo:
BABEL: A Functional and Logic Programming Language based on Constructor Discipline and Narrowing. 223-232
Ph. Schnoebelen:
Refined Compilation of Pattern-Matching for Functional Languages. 233-243
Uwe Wolter:
Narrowing in Partial Conditional Equational Theories (Abstract). 244
Jia-Huai You:
Solving Equations in an Equational Language. 245-254
Ana Pasztor:
Nonstandard Logics of Recursive Programs and Denotational Semantics. 255-278