Pages that link to "Item:Q4610336"
From MaRDI portal
The following pages link to Simplifying and generalizing formulae in tableaux. Pruning the search space and building models (Q4610336):
Displaying 5 items.
- (Q3838815) (← links)
- Pruning the search space and extracting more models in tableaux (Q4237680) (← links)
- (Q4524785) (← links)
- Automated Reasoning with Analytic Tableaux and Related Methods (Q5187860) (← links)
- Combining enumeration and deductive techniques in order to increase the class of constructible infinite models (Q5927982) (← links)