Book
Algebraic and logic programmingMichael Hanus, Germany) Alp 9 (1996 Aachen et al.

Algebraic and logic programming

Michael Hanus, Germany) Alp 9 (1996 Aachen, M. Rodriguez Artalejo
1996344 pages
No counted ratings yet
1 edition

Track this book

You choose which shelves are public. Progress and read dates stay yours.
Sign in
Add to list

About

"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,…

More like this

Reviews

Rating integrity

Healthy
Counted ratings come from accounts older than 7 days and were made on or after publication. Finished readers weigh ×1.0. Readers who have not finished yet weigh ×0.5. Did-not-finish ratings are shown but not counted.

Editions

1 edition
  • Paperback · German · 1996
    Algebraic and Logic Programming: 5th International Confernence, Alp '96, Aachen, Germany, September 25-27, 1996
    Springer · 345 pages · 9783540617358
Wiskundige logicaAlgebraProgrammeren (computers)Programmation logiqueLogic programmingLogique algebriqueCongressesAlgebraic logic