Cover Image
Read Now

1
Published 1997
Springer Berlin Heidelberg
Table of Contents: “... Assistant -- Some Proof Theory of First Order Logic Programming -- Timed Rewriting Logic...”
Cover Image
Read Now

2
Published 1995
Springer Berlin Heidelberg
Table of Contents: “... -- A Deductive Approach to Logic Programming -- Rewrite Proofs and Computations -- Action Structures...”
Cover Image
Read Now

3
Published 1993
Springer Berlin Heidelberg
Table of Contents: “... -- Some Proof-Theoretic Aspects of Logic Programming -- The Safety-Progress Classification -- The Polyadic...”
Cover Image
Read Now

4
Published 2000
Springer Berlin Heidelberg
Table of Contents: “... Theory -- Modal Satisfiability Is in Deterministic Linear Space -- Logic Programming and Co-inductive...”