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 BibTeX

@proceedings{DBLP:conf/alp/1988,
  editor    = {Jan Grabowski and
               Pierre Lescanne and
               Wolfgang Wechler},
  title     = {Algebraic and Logic Programming, International Workshop, Gaussig,
               GDR, November 14-18, 1988, Proceedings},
  booktitle = {ALP},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {343},
  year      = {1988},
  isbn      = {3-540-50667-5},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Papers

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

Submitted Papers

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