Pages that link to "Item:Q4610325"
From MaRDI portal
The following pages link to Ordered tableaux: Extensions and applications (Q4610325):
Displaying 8 items.
- Depth-first proof search without backtracking for free-variable clausal tableaux (Q1404980) (← links)
- Ordered semantic hyper tableaux (Q1869611) (← links)
- Tableaux and related methods (Q2751354) (← links)
- A-ordered tableaux (Q2785673) (← links)
- Free-variable tableaux for monotonic preorders (Q3147362) (← links)
- Terminating Tableaux for $\mathcal{SOQ}$ with Number Restrictions on Transitive Roles (Q3163885) (← links)
- (Q3464876) (← links)
- (Q4860657) (← links)