The following pages link to Gernot Stenz (Q877888):
Displayed 13 items.
- The disconnection tableau calculus (Q877889) (← links)
- (Q2721215) (← links)
- (Q2751380) (← links)
- (Q2766732) (← links)
- Proof and Model Generation with Disconnection Tableaux (Q2996159) (← links)
- (Q4412859) (← links)
- (Q4412870) (← links)
- (Q4520769) (← links)
- (Q4539623) (← links)
- Automated Reasoning with Analytic Tableaux and Related Methods (Q5187863) (← links)
- Automated Reasoning (Q5307066) (← links)
- Automated Reasoning with Analytic Tableaux and Related Methods (Q5479287) (← links)
- Automated Reasoning with Analytic Tableaux and Related Methods (Q5479293) (← links)