dblp.uni-trier.dewww.uni-trier.de

Ross Willard

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
7EEGeorge F. McNulty, Zoltán Székely, Ross Willard: Equational Complexity of the Finite Algebra Membership Problem. IJAC 18(8): 1283-1319 (2008)
2007
6EEPawel M. Idziak, Petar Markovic, Ralph McKenzie, Matthew Valeriote, Ross Willard: Tractability and learnability arising from algebras with few subpowers. LICS 2007: 213-224
2004
5EERoss 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
3EERoss 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)

Coauthor Index

1Michael H. Albert [1]
2Pawel M. Idziak [6]
3Petar Markovic [6]
4Ralph McKenzie [6]
5George F. McNulty [7]
6Zoltán Székely [7]
7Matthew Valeriote [6]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)