The following pages link to (Q4349580):
Displaying 7 items.
- Constructing infinite models represented by tree automata (Q1044230) (← links)
- Model building with ordered resolution: Extracting models from saturated clause sets (Q1404975) (← links)
- A calculus combining resolution and enumeration for building finite models (Q1404976) (← links)
- Alternating two-way AC-tree automata (Q2373699) (← links)
- Automated Induction with Constrained Tree Automata (Q3541728) (← links)
- (Q4517360) (← links)
- Combining enumeration and deductive techniques in order to increase the class of constructible infinite models (Q5927982) (← links)