4. ALP 1994: Madrid, Spain

Giorgio Levi, Mario Rodríguez-Artalejo (Eds.): Algebraic and Logic Programming, 4th International Conference, ALP'94, Madid, Spain, September 14-16, 1994, Proceedings. Lecture Notes in Computer Science 850 Springer 1994, ISBN 3-540-58431-5 BibTeX

@proceedings{DBLP:conf/alp/1994,
  editor    = {Giorgio Levi and
               Mario Rodr\'{\i}guez-Artalejo},
  title     = {Algebraic and Logic Programming, 4th International Conference,
               ALP'94, Madid, Spain, September 14-16, 1994, Proceedings},
  booktitle = {ALP},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {850},
  year      = {1994},
  isbn      = {3-540-58431-5},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Talks (Abstracts)

Catuscia Palamidessi: Concurrent Constraint Programming. 1-2 BibTeX
Dale Miller: Specifications Using Multiple-Conclusion Logic Programs. 3-4 BibTeX
Robert Paige: Viewing A program Transformation System At Work. 5 BibTeX

Theorem Proving

Michael Codish, Grigory Mashevitzky: Proving Implications by Algebraic Approximation. 6-22 BibTeX
Adel Bouhoula: Sufficient Completeness and Parameterized Proofs by Induction. 23-40 BibTeX
Michel Bidoit, Rolf Hennicker: Proving Behavioural Theorems with Standard First-Order Logic. 41-58 BibTeX

Narrowing

Andreas Werner, Alexander Bockmayr, Stefan Krischer: How to Realize LSE Narrowing. 59-76 BibTeX
María Alpuente, Moreno Falaschi, Germán Vidal: Compositional Analysis for Equational Horn Programs. 77-94 BibTeX
Philippe Balbiani: Equation Solving in Projective Planes and Planar Ternary Rings. 95-113 BibTeX

Logic Programming I

Francisco Bueno, Manuel V. Hermenegildo, Ugo Montanari, Francesca Rossi: From Eventual to Atomic Locally Atomic CC Programs: A Concurrent Semantics. 114-132 BibTeX
Paolo Volpe: Concurrent Logic Programming as Uniform Linear Proofs. 133-149 BibTeX
Frank Teusink: Three-Valued Completion for Abductive Logic Programs. 150-167 BibTeX

Term Rewriting

Sergio Antoy, Aart Middeldorp: A Sequential Reduction Strategy. 168-185 BibTeX
Bernhard Gramlich: On Modularity of Termination and Confluence Properties of Conditional Rewrite Systems. 186-203 BibTeX
Maria C. F. Ferreira, Hans Zantema: Syntactical Analysis of Total Termination. 204-222 BibTeX
Massimo Marchiori: Logic Programs as term Rewriting Systems. 223-241 BibTeX

Higher-Order Programming

Neil D. Jones, Mads Rosendahl: Higher-Order Minimal Functional Graphs. 242-252 BibTeX
Delia Kesner: Reasoning about Layered, Wildcard and Product Patterns. 253-268 BibTeX

Logic Programming II

Annalisa Bossi, Nicoletta Cocco: Preserving Universal Termination through Unfold/Fold. 269-286 BibTeX
Elena Marchiori: A Logic for Variable Aliasing in Logic Programs. 287-304 BibTeX