1998 |
7 | | Guoxiang Huang,
Dale Myers:
Subgoal Strategies for Solving Board Puzzles.
J. Autom. Reasoning 20(3): 215-253 (1998) |
1997 |
6 | | Dale Myers:
An Interpretive Isomorphism Between Binary and Ternary Relations.
Structures in Logic and Computer Science 1997: 84-105 |
1994 |
5 | | Yael Etzion-Petruschka,
David Harel,
Dale Myers:
On the Solvability of Domino Snake Problems.
Theor. Comput. Sci. 131(2): 243-269 (1994) |
1983 |
4 | | Dale Myers:
The Random Access Hierarchy (Preliminary Report)
STOC 1983: 355-364 |
3 | | William P. Hanf,
Dale Myers:
Boolean Sentence Algebras: Isomorphism Constructions.
J. Symb. Log. 48(2): 329-338 (1983) |
1974 |
2 | | Dale Myers:
Nonrecursive Tilings of the Plane. II.
J. Symb. Log. 39(2): 286-294 (1974) |
1 | | Dale Myers:
The Boolean Algebras of Abelian Groups and Well-Orders.
J. Symb. Log. 39(3): 452-458 (1974) |