Search alternatives:
tables algorithms » tableau algorithms, tableau algorithm, types algorithms
trees algorithms » tree algorithms, tree algorithm, access algorithms
Cover Image
Read Now

1
Published 1992
Springer Berlin Heidelberg
Table of Contents: “... -- On the expressive power of modal logics on trees -- Propositional dynamic logic with fixed points: Algorithmic tools...”
Cover Image
Read Now

2
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

3
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

4
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...”
Cover Image
Read Now

5
Published 2007
Springer Berlin Heidelberg
Table of Contents: “... in Formal Provability Logic -- A Synthesis Algorithm for Hybrid Systems -- Including the Past in ‘Topologic...”
Cover Image
Read Now

6
by Khoussainov, Bakhadyr, Nerode, Anil
Published 2001
Birkhäuser
Table of Contents: “... -- 1.8 Induction -- 1.9 Trees and König’s Lemma -- 1.10 Countable and Uncountable Sets -- 1.11 Algorithms...”
Cover Image
Read Now

7
Published 1997
Springer Berlin Heidelberg
Table of Contents: “... stability -- The concurrency complexity for the Horn fragment of linear logic -- Studying algorithmic...”