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

Algebraic and Logic Programming

6th International Joint Conference, ALP '97 - HOA '97, Southhampton, UK, September 3-5, 1997. Proceedings

Editors:

  1. Michael Hanus
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Jan Heering
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Karl Meinke
    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 1298)

Conference series link(s): HOA: International Workshop on Higher-Order Algebra, Logic, and Term Rewriting, ALP: International Conference on Algebraic and Logic Programming

Conference proceedings info: HOA 1997, ALP 1997.

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 (18 papers)

  1. Front Matter

    PDF

  2. Safe folding/unfolding with conditional narrowing

    • M. Alpuente, M. Falaschi, G. Moreno, G. Vidal
    Pages 1-15

  5. Parallelizing functional programs by generalization

    • Alfons Geser, Sergei Gorlatch
    Pages 46-60

  6. Higher-order equational unification via explicit substitutions

    • Claude Kirchner, Christophe Ringeissen
    Pages 61-75

  9. On composable properties of term rewriting systems

    • Takahito Aoto, Yoshihito Toyama
    Pages 114-128

  11. Conditional term graph rewriting

    • Enno Ohlebusch
    Pages 144-158

  12. Lazy narrowing with parametric order sorted types

    • J. M. Almendros-Jiménez, A. Gil-Luezas
    Pages 159-173

  13. Termination of algebraic type systems: The syntactic approach

    • Gilles Baxthe, Femke van Raamsdonk
    Pages 174-193

  14. Proof net semantics of proof search computation

    • Luís Caires, Luís Monteiro
    Pages 194-208

  15. Explicit substitutions for the λΔ-calculus

    • Gilles Barthe, Fairouz Kamareddine, Alejandro Ríos
    Pages 209-223

  16. A left-linear variant of λσ

    • César A., Muñoz H.
    Pages 224-239

  17. Perpetuality and uniform normalization

    • Zurab Khasidashvili, Mizuhito Ogawa
    Pages 240-255

  18. Model generation with existentially quantified variables and constraints

    • Slim Abdennadher, Heribert Schütz
    Pages 256-272

  19. Optimal left-to-right pattern-matching automata

    • Nadia Nedjah, Colin D. Walter, Stephen E. Eldridge
    Pages 273-286

  20. Back Matter

    PDF
Back to top

Other Volumes

  1. Algebraic and Logic Programming

Back to top

About this book

This book constitutes the refereed proceedings of the 6th International Conference on Algebraic and Logic Programming, ALP '97 and the 3rd International Workshop on Higher-Order Algebra, Logic and Term Rewriting, HOA '97, held jointly in Southampton, UK, in September 1997.
The 18 revised full papers presented in the book were selected from 31 submissions. The volume is divided in sections on functional and logic programming, higher-order methods, term rewriting, types, lambda-calculus, and theorem proving methods.
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