The following pages link to (Q3341896):
Displaying 7 items.
- Infinite games with finite knowledge gaps (Q528188) (← links)
- The decision problems about the periodic solutions of the domino problems (Q798644) (← links)
- Dominoes and the complexity of subclasses of logical theories (Q1115859) (← links)
- On logics with two variables (Q1960419) (← links)
- First-order logic with two variables and unary temporal logic (Q2506493) (← links)
- Recurring Dominoes: Making the Highly Undecidable Highly Understandable (Q3313255) (← links)
- (Q5129940) (← links)