MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "A-Ordered Tableaux." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 6 documents found, showing 1 through 6.
ATOM RSS
  • A-Ordered Tableaux  
  • by Reiner Hähnle, Stefan Klingenbeck — 1995 — Automated Deduction: A Basis for Applications, volume I, chapter 1
  • …A-Ordered Tableaux Reiner Hahnle and Stefan Klingenbeck University of Karlsruhe Institute…
  • Cited by 20 (10 self) – Add To MetaCart
  • A-Ordered Tableaux  
  • by Interner Bericht, A-ordered Tableaux, Reiner Hähnle, Reiner Hahnle, Stefan Klingenbeck, Stefan Klingenbeck — 1995
  • …A-Ordered Tableaux Reiner Hahnle Stefan Klingenbeck Interner Bericht 26/95 Universit at Karlsruhe…
  • 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
  • … to develop the theory of order-restricted free variable clausal tableaux which was initiated in [9, 8]. A-ordered…
  • Cited by 8 (3 self) – Add To MetaCart
  • A Confluent Connection Calculus  
  • by Peter Baumgartner, Peter Baumgartner, Norbert Eisinger, Norbert Eisinger, Ulrich Furbach, Ulrich Furbach — 1998 — Proc. 16th International Conference on Automated Deduction, CADE-16
  • … clausal tableaux with rigid variables [Fitting, 1990] , more recent developments like A-ordered tableaux…
  • Cited by 11 (3 self) – Add To MetaCart
  • Hyper Tableaux - The Next Generation  
  • by Peter Baumgartner, Peter Baumgartner — 1998 — Automated Reasoning with Analytic Tableaux and Related Methods
  • … to the modelgeneration approaches for A-ordered tableaux [Klingenbeck and Hahnle, 1994] and for ordered resolution…
  • Cited by 35 (9 self) – Add To MetaCart
Help! Showing 1 through 6.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB