Pages that link to "Item:Q3283226"
From MaRDI portal
The following pages link to Proving theorems by pattern recognition I (Q3283226):
Displaying 12 items.
- Leader election on two-dimensional periodic cellular automata (Q729998) (← links)
- Two-dimensional models (Q2074211) (← links)
- Slopes of multidimensional subshifts (Q2300619) (← links)
- On timeline-based games and their complexity (Q2310766) (← links)
- Beweisalgorithmen für die Prädikatenlogik (Q2558006) (← links)
- Decidability and undecidability in cellular automata (Q2869780) (← links)
- The Domino Problem for Self-similar Structures (Q3188258) (← links)
- DPLL: The Core of Modern Satisfiability Solvers (Q3305326) (← links)
- Aperiodic points in $\mathbb Z^2$-subshifts (Q5002814) (← links)
- Strongly aperiodic subshifts of finite type on hyperbolic groups (Q5095128) (← links)
- Weak colored local rules for planar tilings (Q5242532) (← links)
- On proof retrieval: Problem-solving machines, I (Q5514842) (← links)