Cover Image
Read Now

1
Published 1994
Springer Berlin Heidelberg
Table of Contents: “...Logic frameworks for logic programs -- An extended transformation system for CLP programs -- Using...”
Cover Image
Read Now

3
Published 2001
Springer Berlin Heidelberg
Table of Contents: “... of Innocence -- Higher-Order Programs -- An Improved Extensionality Criterion for Higher-Order Logic Programs...”