Search alternatives:
tableau algorithms » tableau algorithm, tables algorithms

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...