MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Tableaux" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 2,467 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Hyper Tableaux  
  • by Peter Baumgartner, Ulrich Furbach, Ilkka Niemelä — 1996
  • …Hyper Tableaux Peter Baumgartner \Delta Ulrich Furbach \Delta Ilkka Niemela Universitat Koblenz…
  • Cited by 60 (21 self) – Add To MetaCart
  • EXPTIME Tableaux for  
  • by Exte Nd Ed, Francesco M. Donini, Fabio Massacci
  • …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  
  • by Roman Kontchakov, Carsten Lutz, Frank Wolter, Michael Zakharyaschev
  • …Temporalising tableaux Roman Kontchakov, 1 Carsten Lutz, 2 Frank Wolter, 3 and Michael…
  • Cited by 14 (4 self) – Add To MetaCart
  • Ordered Tableaux: Extensions and Applications  
  • by Reiner Hähnle, Christian Pape — 1997 — Proc. International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, Pont--Mousson
  • …Ordered Tableaux: Extensions and Applications ? Reiner Hahnle and Christian Pape Universitat…
  • Cited by 8 (3 self) – Add To MetaCart
  • Database Repairs and Analytic Tableaux  
  • by Leopoldo Bertossi, Camilla Schwind, Leopoldo Bertossi (bertossiscs. Carleton. Ca, Camilla Schwind (schwndmap. Archi. Fr — 2003
  • …Database Repairs and Analytic Tableaux Leopoldo Bertossi (bertossiscs.carleton.ca) Carleton…
  • Cited by 7 (4 self) – Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB