The following pages link to (Q3159146):
Displaying 11 items.
- Distance constraint satisfaction problems (Q259047) (← links)
- Interpreting the arithmetic in Thompson's group \(F\). (Q995623) (← links)
- Complexity and decidability (Q1308646) (← links)
- First-order theories of bounded trees (Q2118179) (← links)
- (Q3125203) (← links)
- (Q3220545) (← links)
- (Q3384905) (← links)
- Constraint Satisfaction Problems over the Integers with Successor (Q3448790) (← links)
- (Q3598173) (← links)
- Computable Følner monotilings and a theorem of Brudno (Q5156795) (← links)
- Logica (Q5405106) (← links)