MPG.eBooks - Search Results - "tableau algorithm"

Search alternatives:
"tableau algorithm" » "tableau algorithms"

Cover Image

1

Tools and Algorithms for the Construction and Analysis of Systems : 16th International Conference, TACAS 2010, Held as Part of the Joint European Conference on Theory and Practice...

Published 2010

Springer Berlin Heidelberg

Table of Contents: “... and Applications -- Optimal Tableau Algorithms for Coalgebraic Logics -- Blocked Clause Elimination -- Tools I...”