Skip to main content
SpringerLink
Log in

Algebraic and Logic Programming

5th International Conference, ALP '96, Aachen, Germany, September 25 - 27, 1996. Proceedings

  • Conference proceedings
  • © 1996

Overview

Editors:
  1. Michael Hanus
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Mario Rodríguez-Artalejo
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 1139)

Included in the following conference series:

Conference proceedings info: ALP 1996.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (22 papers)

  1. Front Matter

    Download chapter PDF

  2. Toward the concurrent implementation of computational systems

    • Ilies Alouini, Claude Kirchner
    Pages 1-31

  3. On negation as instantiation

    • Alessandra Di Pierro, WÅ‚odzimierz Drabent
    Pages 32-46

  4. Independence in dynamically scheduled logic languages

    • María García de la Banda, Manuel Hermenegildo, Kim Marriott
    Pages 47-61

  5. Heterogeneous constraint solving

    • Frédéric Benhamou
    Pages 62-76

  6. A hierarchy of semantics for normal constraint logic programs

    • François Fages, Roberta Gori
    Pages 77-91

  7. Order-sorted termination: The unsorted way

    • Peter Csaba Ölveczky, Olav Lysne
    Pages 92-106

  8. Unravelings and ultra-properties

    • Massimo Marchiori
    Pages 107-121

  9. Standardization theorem revisited

    • Taro Suzuki
    Pages 122-134

  10. Discrete Normalization and Standardization in Deterministic Residual Structures

    • Zurab Khasidashvili, John Glauert
    Pages 135-149

  11. A language for the logical specification of processes and relations

    • Luís Caires
    Pages 150-164

  12. A process algebra for synchronous concurrent constraint programming

    • LuboÅ¡ Brim, Jean-Marie Jacquet, David Gilbert, Mojmír KÅ™etínský
    Pages 165-178

  13. An algebraic approach to mixins and modularity

    • Davide Ancona, Elena Zucca
    Pages 179-193

  14. A strict border for the decidability of E-unification for recursive functions

    • Heinz Faßbender, Sebastian Maneth
    Pages 194-208

  15. Prime factorizations of abstract domains using first-order logic

    • Elena Marchiori
    Pages 209-223

  16. Abstractions of uniform proofs

    • Paolo Volpe
    Pages 224-237

  17. Complementing logic program semantics

    • Roberto Giacobazzi, Francesco Ranzato
    Pages 238-253

  18. Meaningless terms in rewriting

    • Richard Kennaway, Vincent van Oostrom, Fer-Jan de Vries
    Pages 254-268

  19. Unique normal form property of Higher-Order Rewriting Systems

    • Ken Mano, Mizuhito Ogawa
    Pages 269-283

  20. λ-calculi with explicit substitutions and composition which preserve β-strong normalization

    • Maria C. F. Ferreira, Delia Kesner, Laurence Puel
    Pages 284-298
Back to top

Keywords

About this book

This book constitutes the refereed proceedings of the Fifth International Conference on Algebraic and Logic Programming, ALP '96, held in Aachen, Germany, in September 1996 in conjunction with PLILP and SAS.
The volume presents 21 revised full papers selected from 54 submissions; also included is an invited contribution by Claude Kirchner and Ilies Alouini entitled "Toward the Concurrent Implementation of Computational Systems". The volume is divided into topical sections on logic programming, term rewriting, integration of paradigms, abstract interpretation, Lambda-calculus and rewriting, and types.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation