5. ALP 1996: Aachen, Germany

Michael Hanus, Mario Rodríguez-Artalejo (Eds.): Algebraic and Logic Programming, 5th International Conference, ALP'96, Aachen, Germany, September 25-27, 1996, Proceedings. Lecture Notes in Computer Science 1139 Springer 1996, ISBN 3-540-61735-3 BibTeX

@proceedings{DBLP:conf/alp/1996,
  editor    = {Michael Hanus and
               Mario Rodr\'{\i}guez-Artalejo},
  title     = {Algebraic and Logic Programming, 5th International Conference,
               ALP'96, Aachen, Germany, September 25-27, 1996,  Proceedings},
  booktitle = {ALP},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1139},
  year      = {1996},
  isbn      = {3-540-61735-3},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Talk

Ilies Alouini, Claude Kirchner: Toward the Concurrent Implementation of Computational Systems. 1-31 BibTeX

Logic Programming

Alessandra Di Pierro, Wlodzimierz Drabent: On Negation As Instantiation. 32-46 BibTeX
Maria J. García de la Banda, Manuel V. Hermenegildo, Kim Marriott: Independence in Dynamically Scheduled Logic Languages. 47-61 BibTeX
Frédéric Benhamou: Heterogeneous Constraint Solving. 62-76 BibTeX
François Fages, Roberta Gori: A Hierarchy of Semantics for Normal Constraint Logic Programs. 77-91 BibTeX

Term Rewriting

Peter Csaba Ölveczky, Olav Lysne: Order-Sorted Termination: The Unsorted Way. 92-106 BibTeX
Massimo Marchiori: Unravelings and Ultra-properties. 107-121 BibTeX
Taro Suzuki: Standardization Theorem Revisited. 122-134 BibTeX
Zurab Khasidashvili, John R. W. Glauert: Discrete Normalization and Standardization in Deterministic Residual Structures. 135-149 BibTeX

Integration of Paradigms

Luís Caires: A Language for the Logical Specification of Processes and Relations. 150-164 BibTeX
Lubos Brim, Jean-Marie Jacquet, David Gilbert, Mojmír Kretínský: A Process Algebra for Synchronous Concurrent Constraint Programming. 165-178 BibTeX
Davide Ancona, Elena Zucca: An Algebraic Approach to Mixins and Modularity. 179-193 BibTeX
Heinz Faßbender, Sebastian Maneth: A Strict Border for the Decidability of E-Unification for Recursive Functions. 194-208 BibTeX

Abstract Interpretation

Elena Marchiori: Prime Factorizations of Abstract Domains Using First Order Logic. 209-223 BibTeX
Paolo Volpe: Abstractions of Uniform Proofs. 224-237 BibTeX
Roberto Giacobazzi, Francesco Ranzato: Complementing Logic Program Semantics. 238-253 BibTeX

Lambda-Calculus and Rewriting

Richard Kennaway, Vincent van Oostrom, Fer-Jan de Vries: Meaningless Terms in Rewriting. 254-268 BibTeX
Ken Mano, Mizuhito Ogawa: Unique Normal Form Property of Higher-Order Rewriting Systems. 269-283 BibTeX
Maria C. F. Ferreira, Delia Kesner, Laurence Puel: Lambda-Calculi with Explicit Substitutions and Composition Which Preserve Beta-Strong Normalization. 284-298 BibTeX

Types

Jesús Manuel Almendros-Jiménez, Antonio Gavilanes-Franco, Ana Gil-Luezas: Algebraic Semantics for Functional Logic Programming with Polymorphic Order-Sorted Types. 299-313 BibTeX
Dieter Nazareth: Specifying Type Systems. 314-329 BibTeX
Dieter Nazareth: The Semantic Treatment of Polymorphic Specification Languages. 330-344 BibTeX