Like the predecessor conferences in this series, ALP '94 succeeded in strengthening the cross-fertilization between algebraic techniques and logic programming. Besides abstracts of three invited talks, the volume contains 17 full revised papers selected from 41 submissions; the papers are organized into sections on theorem proving, narrowing, logic programming, term rewriting, and higher-order programming.
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Number of pages: 314
Weight: 1010 g
Dimensions: 235 x 155 x 17 mm
Edition: 1994 ed.
You may also be interested in...
Please sign in to write a review