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

1
by Nerode, Anil, Shore, Richard A.
Published 1993
Springer New York
Table of Contents: “... Tableaux -- IV.4 Soundness and Completeness -- IV.5 Modal Axioms and Special Accessibility Relations -- IV...”
Cover Image
Read Now

2
by Nerode, Anil, Shore, Richard A.
Published 1997
Springer New York
Table of Contents: “... Tableaux -- 4 Soundness and Completeness -- 5 Modal Axioms and Special Accessibility Relations -- 6...”