Pages that link to "Item:Q1854418"

The following pages link to Working with ARMs: Complexity results on atomic representations of Herbrand models (Q1854418):

Displaying 8 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)
• (Q4246970) (← links)
• A Resolution-based Model Building Algorithm for a Fragment of OCC1N = (Q4916224) (← links)
• Model Representation over Finite and Infinite Signatures (Q5431608) (← links)
• Automated Model Building: From Finite to Infinite Models (Q5505496) (← links)
• Speeding up algorithms on atomic representations of Herbrand models via new redundancy criteria (Q5927983) (← links)