Read Anywhere and on Any Device!

Subscribe to Read | $0.00

Join today and start reading your favorite books for Free!

Read Anywhere and on Any Device!

  • Download on iOS
  • Download on Android
  • Download on iOS

Algebraic and Logic Programming: 5th International Conference, Alp '96, Aachen, Germany, September 25 - 27, 1996. Proceedings

Algebraic and Logic Programming: 5th International Conference, Alp '96, Aachen, Germany, September 25 - 27, 1996. Proceedings

Michael Hanus
0/5 ( ratings)
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.
Language
English
Pages
348
Format
Paperback
Publisher
Springer
Release
September 11, 1996
ISBN
3540617353
ISBN 13
9783540617358

Algebraic and Logic Programming: 5th International Conference, Alp '96, Aachen, Germany, September 25 - 27, 1996. Proceedings

Michael Hanus
0/5 ( ratings)
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.
Language
English
Pages
348
Format
Paperback
Publisher
Springer
Release
September 11, 1996
ISBN
3540617353
ISBN 13
9783540617358

More books from Michael Hanus

Rate this book!

Write a review?

loader