Pages that link to "Item:Q4635643"
From MaRDI portal
The following pages link to Turing machines with atoms, constraint satisfaction problems, and descriptive complexity (Q4635643):
Displaying 7 items.
- Working with ARMs: Complexity results on atomic representations of Herbrand models (Q1854418) (← links)
- Contribution of Warsaw logicians to computational logic (Q2422533) (← links)
- General lower bounds and improved algorithms for infinite-domain CSPs (Q2700386) (← links)
- A Dichotomy for First-Order Reducts of Unary Structures (Q4643958) (← links)
- (Q4643959) (← links)
- (Q5207051) (← links)
- The Max-Atom Problem and Its Relevance (Q5505542) (← links)