Cover Image
Read Now

1
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

2
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

3
Published 1990
Springer Berlin Heidelberg
Table of Contents: “...Object orientation and formal techniques -- An algebraic approach to refinement -- Modal logic...”
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...”