Search alternatives:
proving finite » proving definite, proving infinite, moving finite
Cover Image
Read Now

1
Published 1999
Springer Berlin Heidelberg
Table of Contents: “...Session 1 -- Proofs About Lists Using Ellipsis -- Session 2 -- On the Complexity of Counting...”
Cover Image
Read Now

2
Published 2008
Springer Berlin Heidelberg
Table of Contents: “... -- Functional-Logic Graph Parser Combinators -- Proving Quadratic Derivational Complexities Using Context...”
Cover Image
Read Now

3
Published 2001
Springer Berlin Heidelberg
Table of Contents: “...Herbrand’s Theorem for Prenex Gödel Logic and Its Consequences for Theorem Proving -- Non-classical...”
Cover Image
Read Now

4
Published 1992
Springer Berlin Heidelberg
Table of Contents: “... terms in Prolog -- Compiling Flang -- FIDO: Finite domain consistency techniques in logic programming...”
Cover Image
Read Now

5
Published 2002
Springer Berlin Heidelberg
Table of Contents: “... Propositions -- Model Generation -- Deductive Search for Errors in Free Data Type Specifications Using Model...”