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) |
1 | Michael H. Albert | [1] |
2 | Pawel M. Idziak | [6] |
3 | Petar Markovic | [6] |
4 | Ralph McKenzie | [6] |
5 | George F. McNulty | [7] |
6 | Zoltán Székely | [7] |
7 | Matthew Valeriote | [6] |