Cover Image
Read Now

1
Published 1987
Springer Berlin Heidelberg
Table of Contents: “... -- Predicative Communications -- Notes on Logic Programming -- II: Specification and Verification Calculi...”
Cover Image
Read Now

2
Published 2001
Springer Berlin Heidelberg
Table of Contents: “... Databases via a Hyper-Set-Theoretic Approach -- Logic Programming -- Reexecution-Based Analysis of Logic...”
Cover Image
Read Now

3
Published 1996
Springer Berlin Heidelberg
Table of Contents: “... -- The tree equivalence problem for linear recursion schemes -- A mode analysis of logic programs by abstract...”
Cover Image
Read Now

4
Published 2000
Springer Berlin Heidelberg
Table of Contents: “... -- Applying Temporal Logic to Analysis of Behavior of Cooperating Logic Programs -- On Semantics...”
Cover Image
Read Now

5
Published 1993
Springer Berlin Heidelberg
Table of Contents: “... analysis of interval congruences -- Polymorphic typing for call-by-name semantics -- Logic program testing...”
Cover Image
Read Now

6
Published 2003
Springer Berlin Heidelberg
Table of Contents: “... -- The Translation Power of the Futamura Projections -- A Compiler Generator for Constraint Logic Programs...”