The following pages link to (Q3604365):
Displaying 10 items.
- Adding equality to semantic tableaux (Q1099967) (← links)
- Controlled integration of the cut rule into connection tableau calculi (Q1344875) (← links)
- Rule refinement for semantic tableau calculi (Q1694467) (← links)
- Ordered semantic hyper tableaux (Q1869611) (← links)
- A Seligman-Style Tableau System (Q2870122) (← links)
- Bottom-up Construction of Semantic Tableaux (Q3406692) (← links)
- Analytic tableaux and interpolation (Q3510444) (← links)
- (Q4524785) (← links)
- (Q4729412) (← links)
- Pragmatic Formal Specification of System Properties by Tables (Q5256357) (← links)