The following pages link to (Q4524782):
Displaying 18 items.
- Analytic tableaux for all of \(\mathrm{SIXTEEN}_3\) (Q253121) (← links)
- Automated reasoning with analytic tableaux and related methods. 18th international conference, TABLEAUX 2009, Oslo, Norway, July 6--10, 2009. Proceedings (Q734219) (← links)
- The disconnection tableau calculus (Q877889) (← links)
- Tableau complexes (Q926428) (← links)
- Tableaux and dual tableaux: transformation of proofs (Q995673) (← links)
- A truncation technique for clausal analytic tableaux (Q1198076) (← links)
- Analysis of objects on the basis of an ``interacting table system'' (Q1287596) (← links)
- Are tableaux an improvement on truth-tables? Cut-free proofs and bivalence (Q1314288) (← links)
- On the relative merits of path dissolution and the method of analytic tableaux (Q1331929) (← links)
- Depth-first proof search without backtracking for free-variable clausal tableaux (Q1404980) (← links)
- Automated reasoning with analytic tableaux and related methods. 11th international conference, TABLEAUX 2002, Copenhagen, Denmark, July 30 -- August 1, 2002. Proceedings (Q1613676) (← links)
- A tableaux calculus for reducing proof size (Q1799068) (← links)
- Solution lifting method for handling meta-variables in TH\(\exists\)OREM\(\forall\) (Q2577589) (← links)
- Tableaux and related methods (Q2751354) (← links)
- (Q4305338) (← links)
- On the Computational Intractability of Analytic Tableau Methods (Q4318171) (← links)
- (Q4524785) (← links)
- Lean induction principles for tableaux (Q4610315) (← links)
