The following pages link to Turing Machines with Atoms (Q5271055):
Displayed 13 items.
- Equivariant algorithms for constraint satisfaction problems over coset templates (Q344534) (← links)
- A general account of coinduction up-to (Q523132) (← links)
- Permutation groups with small orbit growth (Q2037519) (← links)
- Exploring nominal cellular automata (Q2409627) (← links)
- General lower bounds and improved algorithms for infinite-domain CSPs (Q2700386) (← links)
- Decidability Border for Petri Nets with Data: WQO Dichotomy Conjecture (Q2822649) (← links)
- A Dichotomy for First-Order Reducts of Unary Structures (Q4643958) (← links)
- (Q4643959) (← links)
- (Q5009439) (← links)
- Linear equations for unordered data vectors in $[D]^k\to{}Z^d$ (Q5060183) (← links)
- (Q5207051) (← links)
- (Q5856418) (← links)
- WQO dichotomy for 3-graphs (Q5919047) (← links)