The following pages link to (Q3838815):
Displaying 10 items.
- Unrestricted vs restricted cut in a tableau method for Boolean circuits (Q812394) (← links)
- The disconnection tableau calculus (Q877889) (← links)
- Optimization techniques for propositional intuitionistic logic and their implementation (Q959821) (← links)
- Fast decision procedure for propositional Dummett logic based on a multiple premise tableau calculus (Q991900) (← links)
- EXPtime tableaux for ALC (Q1589576) (← links)
- A non-clausal tableau calculus for \textsc{MinSat} (Q2234795) (← links)
- Simplification Rules for Intuitionistic Propositional Tableaux (Q2946662) (← links)
- An Evaluation-Driven Decision Procedure for G3i (Q2946756) (← links)
- (Q3580786) (← links)
- Automated Reasoning with Analytic Tableaux and Related Methods (Q5187860) (← links)