Algebraic and Logic Programming
Download or Read eBook Algebraic and Logic Programming PDF written by Michael Hanus and published by Springer Science & Business Media. This book was released on 1996-09-30 with total page 360 pages. Available in PDF, EPUB and Kindle.
| Author | : Michael Hanus |
| Publisher | : Springer Science & Business Media |
| Total Pages | : 360 |
| Release | : 1996-09-30 |
| ISBN-10 | : 3540617353 |
| ISBN-13 | : 9783540617358 |
| Rating | : 4/5 (53 Downloads) |
Book Synopsis Algebraic and Logic Programming by : Michael Hanus
Book excerpt: 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.
