Pages that link to "Item:Q1854418"
From MaRDI portal
The following pages link to Working with ARMs: Complexity results on atomic representations of Herbrand models (Q1854418):
Displayed 5 items.
- Constructing infinite models represented by tree automata (Q1044230) (← links)
- On deciding subsumption problems (Q1777407) (← links)
- Explicit versus implicit representations of subsets of the Herbrand universe. (Q1853582) (← links)
- A Resolution-based Model Building Algorithm for a Fragment of OCC1N = (Q4916224) (← links)
- Automated Model Building: From Finite to Infinite Models (Q5505496) (← links)