Search alternatives:
algorithm » algorithms
Cover Image
Read Now

1
Published 2009
Springer Berlin Heidelberg
Table of Contents: “... Relation -- Complete Axiomatizations of MSO, FO(TC 1 ) and FO(LFP 1 ) on Finite Trees -- Tableau-Based...”
Cover Image
Read Now

2
by Nerode, Anil, Shore, Richard A.
Published 1993
Springer New York
Table of Contents: “... -- I.3 Truth Assignments and Valuations -- I.4 Tableau Proofs in Propositional Calculus -- I.5...”
Cover Image
Read Now

3
by Nerode, Anil, Shore, Richard A.
Published 1997
Springer New York
Table of Contents: “... Truth Assignments and Valuations -- 4 Tableau Proofs in Propositional Calculus -- 5 Soundness...”