Pages that link to "Item:Q4055979"
From MaRDI portal
The following pages link to Linear sampling and the ∀∃∀ case of the decision problem (Q4055979):
Displaying 11 items.
- The periodic domino problem revisited (Q410732) (← links)
- Complexity results for classes of quantificational formulas (Q1157324) (← links)
- Nilpotency and periodic points in non-uniform cellular automata (Q2041685) (← links)
- On the conjugacy problem of cellular automata (Q2201790) (← links)
- Nilpotent endomorphisms of expansive group actions (Q4994447) (← links)
- Decidability in Group Shifts and Group Cellular Automata (Q5089173) (← links)
- Subshifts with sparse traces (Q5139041) (← links)
- The Undecidability of the Domino Problem (Q5141335) (← links)
- An aperiodic set of 11 Wang tiles (Q5162865) (← links)
- Cold dynamics in cellular automata: a tutorial (Q6137192) (← links)
- Effective Projections on Group Shifts to Decide Properties of Group Cellular Automata (Q6154975) (← links)