Cover Image
Read Now

2
Published 1997
Springer Berlin Heidelberg
Table of Contents: “... computations -- A semantic basis for termination analysis of logic programs and its realization using symbolic...”
Cover Image
Read Now

3
Published 1998
Springer Berlin Heidelberg
Table of Contents: “...Logic programming and model checking -- CAT: The Copying Approach to Tabling -- SICStus MT—A...”
Cover Image
Read Now

4
Published 1994
Springer Berlin Heidelberg
“... in September 1993. Higher-Order methods are increasingly applied in functional and logic programming languages...”