Cover Image
Read Now

1
Published 1987
Springer Berlin Heidelberg
Table of Contents: “... variable -- Existential fixed-point logic -- Unsolvable decision problems for PROLOG programs -- You have...”
Cover Image
Read Now

2
Published 1990
Springer Berlin Heidelberg
Table of Contents: “... -- The complexity of subtheories of the existential linear theory of reals -- On test classes for universal theories...”