Sciweavers

TABLEAUX
1998
Springer
13 years 7 months ago
Simplification and Backjumping in Modal Tableau
This paper is concerned with various schemes for enhancing the performance of modal tableau procedures. It discusses techniques and strategies for dealing with the nondeterminism i...
Ullrich Hustadt, Renate A. Schmidt