The following pages link to Domino-tiling games (Q1822501):
Displaying 31 items.
- Extending inclusion dependencies with conditions (Q386615) (← links)
- Polyomino tilings, cellular automata and codicity (Q672463) (← links)
- Turing machines with access to history (Q751802) (← links)
- Simple sentences that are hard to decide (Q810009) (← links)
- Typechecking top-down XML transformations: Fixed input or output schemas (Q937295) (← links)
- The complexity of hybrid logics over equivalence relations (Q1047797) (← links)
- Branching-time logics repeatedly referring to states (Q1047801) (← links)
- A multiparameter analysis of domino tiling with an application to concurrent systems (Q1193883) (← links)
- On the solvability of domino snake problems (Q1331945) (← links)
- Common knowledge and update in finite environments (Q1383157) (← links)
- Query automata over finite trees (Q1607226) (← links)
- Conjunctive query containment over trees using schema information (Q1702301) (← links)
- Multi-buffer simulations: decidability and complexity (Q1784963) (← links)
- Modulo constraints and the complexity of typechecking XML views (Q2272220) (← links)
- Complexity of the universal theory of modal algebras (Q2307300) (← links)
- On timeline-based games and their complexity (Q2310766) (← links)
- Complexity of the universal theory of bounded residuated distributive lattice-ordered groupoids (Q2317378) (← links)
- Centralized asynchronous broadcast in radio networks (Q2383598) (← links)
- Games for active XML revisited (Q2402614) (← links)
- Turing Machines for Dummies (Q2891358) (← links)
- Complexity analysis of propositional concurrent programs using domino tiling (Q3142002) (← links)
- On the Hybrid Extension of CTL and CTL + (Q3182944) (← links)
- The intersection problem for finite monoids (Q3304129) (← links)
- Consensus Game Acceptors (Q3451093) (← links)
- Domino Games and Complexity (Q3495644) (← links)
- On the Complexity of Branching-Time Logics (Q3644771) (← links)
- Consensus Game Acceptors and Iterated Transductions (Q4640036) (← links)
- (Q5079746) (← links)
- (Q5136301) (← links)
- Playing Savitch and Cooking Games (Q5187817) (← links)
- Extended bounded response LTL: a new safety fragment for efficient reactive synthesis (Q6661746) (← links)
