Dale Myers

List of publications from the DBLP Bibliography Server - FAQ

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)

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)

Coauthor Index