The following pages link to Tableaux and related methods (Q2751354):
Displaying 38 items.
- Semantics and proof-theory of depth bounded Boolean logics (Q385021) (← links)
- Linearity and regularity with negation normal form (Q703486) (← links)
- Dual tableaux. Foundations, methodology, case studies (Q710340) (← links)
- A sound framework for \(\delta\)-rule variants in free-variable semantic tableaux (Q877883) (← links)
- Superposition-based equality handling for analytic tableaux (Q877891) (← links)
- Liberalized variable splitting (Q877894) (← links)
- Tableau complexes (Q926428) (← links)
- Optimization techniques for propositional intuitionistic logic and their implementation (Q959821) (← links)
- Analysis of objects on the basis of an ``interacting table system'' (Q1287596) (← links)
- The problem of \(\Pi_{2}\)-cut-introduction (Q1680562) (← links)
- Rule refinement for semantic tableau calculi (Q1694467) (← links)
- A navigational logic for reasoning about graph properties (Q1996850) (← links)
- Machine learning guidance for connection tableaux (Q2031418) (← links)
- Learning from Łukasiewicz and Meredith: investigations into proof structures (Q2055843) (← links)
- Set of support, demodulation, paramodulation: a historical perspective (Q2102923) (← links)
- Constraint tableaux for two-dimensional fuzzy logics (Q2142061) (← links)
- A shifted analogue to ribbon tableaux (Q2335912) (← links)
- Soundness and completeness proofs by coinductive methods (Q2362498) (← links)
- ABox abduction in the description logic \(\mathcal{ALC}\) (Q2429984) (← links)
- Towards a unified model of search in theorem-proving: subgoal-reduction strategies (Q2456542) (← links)
- Reasoning on UML class diagrams (Q2457652) (← links)
- Craig interpolation with clausal first-order tableaux (Q2666953) (← links)
- nanoCoP: A Non-clausal Connection Prover (Q2817929) (← links)
- Encoding first order proofs in SMT (Q2864408) (← links)
- A Seligman-Style Tableau System (Q2870122) (← links)
- Empirical investigation on combining tableaux and resolution (Q2908999) (← links)
- A Non-clausal Connection Calculus (Q3010371) (← links)
- (Q3319615) (← links)
- New Lilliefors and Srinivasan tables with applications (Q3745149) (← links)
- (Q3834223) (← links)
- (Q4329260) (← links)
- (Q4524782) (← links)
- (Q4524785) (← links)
- Programming and verifying a declarative first-order prover in Isabelle/HOL (Q5145439) (← links)
- Automated Reasoning with Analytic Tableaux and Related Methods (Q5479293) (← links)
- Edges and tableaux (Q5925774) (← links)
- Range-restricted and Horn interpolation through clausal tableaux (Q6541142) (← links)
- Lemmas: generation, selection, application (Q6541149) (← links)
