Search alternatives:
tableau algorithms » tableau algorithm, tables algorithms
trees algorithms » tree algorithms, tree algorithm, treatment 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: Prepositional Logic -- I.1 Orders and Trees -- I.2 Propositions, Connectives and Truth Tables...”
Cover Image
Read Now

3
by Nerode, Anil, Shore, Richard A.
Published 1997
Springer New York
Table of Contents: “...I Propositional Logic -- 1 Orders and Trees -- 2 Propositions, Connectives and Truth Tables -- 3...”