Pages that link to "Item:Q2873776"
From MaRDI portal
The following pages link to Solving Sudoku Puzzles with Rewriting Rules (Q2873776):
Displaying 5 items.
- A sublinear Sudoku solution in cP systems and its formal verification (Q821319) (← links)
- Strategies, model checking and branching-time properties in Maude (Q2239275) (← links)
- Generalizing Sudoku to three dimensions (Q3068182) (← links)
- (Q5089038) (← links)
- The Maude strategy language (Q6113021) (← links)
