Searching for "Tableaux" – sorted by Relevance.
-
Hyper Tableaux
- Hyper Tableaux Peter Baumgartner \Delta Ulrich Furbach \Delta Ilkka Niemela Universitat Koblenz
- Cited by 60 (21 self) – Add To MetaCart
-
EXPTIME Tableaux for
- EXPTIME Tableaux for ALC (Extended Abstract) Giuseppe De Giacomo 1 and Francesco M. Donini 1
- Cited by 2 (0 self) – Add To MetaCart
-
Temporalising Tableaux
- Temporalising tableaux Roman Kontchakov, 1 Carsten Lutz, 2 Frank Wolter, 3 and Michael
- Cited by 14 (4 self) – Add To MetaCart
-
Syntactic Reduction of Predicate Tableaux to Propositional Tableaux
- Syntactic reduction of predicate tableaux to propositional tableaux J'an Komara, Paul J. Voda
- Add To MetaCart
-
Tableaux and Related Methods
- CHAPTER 3 Tableaux and Related Methods Reiner HShnle SECOND READERS: Uli Furbach and Philippe de
- Cited by 23 (3 self) – Add To MetaCart
-
On some properties of permutation tableaux
- ON SOME PROPERTIES OF PERMUTATION TABLEAUX ALEXANDER BURSTEIN Abstract. We consider the relation
- Cited by 4 (1 self) – Add To MetaCart
-
Ordered Tableaux: Extensions and Applications
- Ordered Tableaux: Extensions and Applications ? Reiner Hahnle and Christian Pape Universitat
- Cited by 8 (3 self) – Add To MetaCart
-
Restart Tableaux with Selection Function
- Restart Tableaux with Selection Function Christian Pape and Reiner Hahnle Universitat Karlsruhe
- Cited by 1 (0 self) – Add To MetaCart
-
Database Repairs and Analytic Tableaux
- Database Repairs and Analytic Tableaux Leopoldo Bertossi (bertossiscs.carleton.ca) Carleton
- Cited by 7 (4 self) – Add To MetaCart
-
COMBINATORIAL PROPERTIES OF PERMUTATION TABLEAUX
- COMBINATORIAL PROPERTIES OF PERMUTATION TABLEAUX ALEXANDER BURSTEIN ∗ AND NIKLAS ERIKSEN Abstract
- Add To MetaCart

