| 2008 |
|---|
| 13 | EE | George F. McNulty,
Zoltán Székely,
Ross Willard:
Equational Complexity of the Finite Algebra Membership Problem.
IJAC 18(8): 1283-1319 (2008) |
| 2004 |
|---|
| 12 | EE | George F. McNulty:
Minimum bases for equational theories of groups and rings: the work of Alfred Tarski and Thomas Green.
Ann. Pure Appl. Logic 127(1-3): 131-153 (2004) |
| 2002 |
|---|
| 11 | | Ralph Freese,
George F. McNulty,
James B. Nation:
Inherently nonfinitely based lattices.
Ann. Pure Appl. Logic 115(1-3): 175-193 (2002) |
| 2000 |
|---|
| 10 | EE | Brian A. Davey,
Pawel M. Idziak,
William A. Lampe,
George F. McNulty:
Dualizability and graph algebras.
Discrete Mathematics 214(1-3): 145-172 (2000) |
| 1995 |
|---|
| 9 | | Jaroslav Jezek,
George F. McNulty:
Perfect Bases for Equational Theories.
J. Symb. Comput. 19(5): 489-505 (1995) |
| 8 | | Jaroslav Jezek,
George F. McNulty:
The Existence of Finitely Based Lower Covers for Finitely Based Equational Theories.
J. Symb. Log. 60(4): 1242-1250 (1995) |
| 1992 |
|---|
| 7 | | George F. McNulty:
A Field Guide to Equational Logic.
J. Symb. Comput. 14(4): 371-398 (1992) |
| 1989 |
|---|
| 6 | | George F. McNulty:
An Equational Logic Sampler.
RTA 1989: 234-262 |
| 5 | | K. A. Baker,
George F. McNulty,
W. Taylor:
Growth Problems for Avoidable Words.
Theor. Comput. Sci. 69(3): 319-345 (1989) |
| 1986 |
|---|
| 4 | | George F. McNulty:
Alfred Tarski and Undecidable Theories.
J. Symb. Log. 51(4): 890-898 (1986) |
| 1983 |
|---|
| 3 | EE | Joan P. Hutchinson,
George F. McNulty:
Connected graphs of genus g with complementary orbits.
Discrete Mathematics 45(2-3): 255-275 (1983) |
| 1977 |
|---|
| 2 | | George F. McNulty:
Fragments of First Order Logic, I: Universal Horn Logic.
J. Symb. Log. 42(2): 221-237 (1977) |
| 1976 |
|---|
| 1 | | George F. McNulty:
Undecidable Properties of Finite Sets of Equations.
J. Symb. Log. 41(3): 589-604 (1976) |
