Research Catalog

Title

Algebraic and logic programming : 5th international confernence, ALP '96, Aachen, Germany, September 25-27, 1996 : proceedings / Michael Hanus, Mario Rodríguez-Artalejo, eds.

Author

International Conference on Algebraic and Logic Programming (5th : 1996 : Aachen, Germany)

Publication

Berlin ; New York : Springer, [1996], ©1996.

Items in the Library & Off-site

Holdings

Details

Additional Authors

• Hanus, Michael.
• Rodríguez Artalejo, M. (Mario)

Description

viii, 344 pages : illustrations; 24 cm.

Series Statement

Lecture notes in computer science ; 1139

Uniform Title

Lecture notes in computer science ; 1139.

Subject

• Logic programming > Congresses
• Algebraic logic > Congresses

Bibliography (note)

• Includes bibliographical references and index.

Contents

• Toward the Concurrent Implementation of Computational Systems / Ilies Alouini and Claude Kirchner -- On Negation as Instantiation / Alessandra Di Pierro and Wlodzimierz Drabent -- Independence in Dynamically Scheduled Logic Languages / Maria Garcia de la Banda, Manuel Hermenegildo and Kim Marriott -- Heterogeneous Constraint Solving / Frederic Benhamou -- A Hierarchy of Semantics for Normal Constraint Logic Programs / Francois Fages and Roberta Gori -- Order-Sorted Termination: The Unsorted Way / Peter Csaba Olveczky and Olav Lysne -- Unravelings and Ultra-properties / Massimo Marchiori -- Standardization Theorem Revisited / Taro Suzuki -- Discrete Normalization and Standardization in Deterministic Residual Structures / Zurab Khasidashvili and John Glauert -- A Language for the Logical Specification of Processes and Relations / Luis Caires -- A Process Algebra for Synchronous Concurrent Constraint Programming / Lubos Brim, David Gilbert, Jean-Marie Jacquet and Mojmir Kretinsky --
• An Algebraic Approach to Mixins and Modularity / Davide Ancona and Elena Zucca -- A Strict Border for the Decidability of E-Unification for Recursive Functions / Heinz Fassbender and Sebastian Maneth -- Prime Factorizations of Abstract Domains Using First Order Logic / Elena Marchiori -- Abstractions of Uniform Proofs / Paolo Volpe -- Complementing Logic Program Semantics / Roberto Giacobazzi and Francesco Ranzato -- Meaningless Terms in Rewriting / Richard Kennaway, Vincent van Oostrom and Fer-Jan de Vries -- Unique Normal Form Property of Higher-Order Rewriting Systems / Ken Mano and Mizuhito Ogawa -- [lambda]-Calculi with Explicit Substitutions and Composition which Preserve [beta]-strong Normalization / Maria C. F. Ferreira, Delia Kesner and Laurence Puel -- Algebraic Semantics for Functional Logic Programming with Polymorphic Order-Sorted Types / Jesus M. Almendros-Jimenez, Antonio Gavilanes-Franco and Ana Gil-Luezas -- Specifying Type Systems / Dieter Nazareth --
• The Semantic Treatment of Polymorphic Specification Languages / Dieter Nazareth.

ISBN

3540617353 (alk. paper)

LCCN

96041750

OCLC

ocm35397838

Owning Institutions

Columbia University Libraries