2008 |
7 | EE | George F. McNulty,
Zoltán Székely,
Ross Willard:
Equational Complexity of the Finite Algebra Membership Problem.
IJAC 18(8): 1283-1319 (2008) |
2007 |
6 | EE | Pawel M. Idziak,
Petar Markovic,
Ralph McKenzie,
Matthew Valeriote,
Ross Willard:
Tractability and learnability arising from algebras with few subpowers.
LICS 2007: 213-224 |
2004 |
5 | EE | Ross Willard:
Determining Whether V(A) Has a Model Companion is Undecidable.
IJAC 14(3): 325-355 (2004) |
2000 |
4 | | Ross Willard:
A Finite Basis Theorem for Residually Finite, Congruence Meet-Semidistributive Varieties.
J. Symb. Log. 65(1): 187-200 (2000) |
1996 |
3 | EE | Ross Willard:
Essential arities of term operations in finite algebras.
Discrete Mathematics 149(1-3): 239-259 (1996) |
1994 |
2 | | Ross Willard:
Hereditary Undecidability of Some Theories of Finite Structures.
J. Symb. Log. 59(4): 1254-1262 (1994) |
1987 |
1 | | Michael H. Albert,
Ross Willard:
Injectives in Finitely Generated Universal Horn Classes.
J. Symb. Log. 52(3): 786-792 (1987) |