MPG.eBooks - Search Results - tableau algorithms

Search alternatives:
tableau algorithms » tableau algorithm , tables algorithms

Cover Image

1

Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX 2002. Copenhagen, Denmark, July 30 - August 1, 2002. Proceedings

Published 2002

Springer Berlin Heidelberg

Table of Contents: “... -- Implementation and Optimisation of a Tableau Algorithm for the Guarded Fragment -- Lemma and Model Caching...”