Search alternatives:
"tableau algorithm" » "tableau algorithms"
Cover Image
Read Now

1
Published 2002
Springer Berlin Heidelberg
Table of Contents: “... -- Implementation and Optimisation of a Tableau Algorithm for the Guarded Fragment -- Lemma and Model Caching...”
Cover Image
Read Now

2
Published 2003
Springer Berlin Heidelberg
Table of Contents: “... for Propositional Interval Temporal Logics -- Universal Variables in Disconnection Tableaux -- A Tableau Algorithm...”
Cover Image
Read Now

3
Published 2000
Springer Berlin Heidelberg
Table of Contents: “...Invited Lectures -- Tableau Algorithms for Description Logics -- Modality and Databases -- Local...”