Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 1996

Algebraic and Logic Programming

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

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)

Conference series link(s): ALP: International Conference on Algebraic and Logic Programming

Conference proceedings info: ALP 1996.

Sections

Buy it now

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

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

Table of contents (22 papers)

  1. Front Matter

    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

  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

  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

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.
Back to top

Keywords

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

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

Search

Navigation