Ross Willard

According to our database1, Ross Willard authored at least 19 papers between 1987 and 2020.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2020
ω-categorical structures avoiding height 1 identities.
CoRR, 2020

2019
Topology is relevant (in the infinite-domain dichotomy conjecture for constraint satisfaction problems).
CoRR, 2019

Topology is relevant (in a dichotomy conjecture for infinite-domain constraint satisfaction problems).
Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science, 2019

2018
New-from-old full dualities via axiomatisation.
Ann. Pure Appl. Log., 2018

2017
Refuting Feder, Kinne and Rafiey.
CoRR, 2017

Polymorphisms, and How to Use Them.
Proceedings of the Constraint Satisfaction Problem: Complexity and Approximability, 2017

2012
The Lattice of Alter egos.
Int. J. Algebra Comput., 2012

Near Unanimity Constraints Have Bounded Pathwidth Duality.
Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science, 2012

2010
Tractability and Learnability Arising from Algebras with Few Subpowers.
SIAM J. Comput., 2010

Testing Expressibility Is Hard.
Proceedings of the Principles and Practice of Constraint Programming - CP 2010, 2010

2009
PP-DEFINABILITY IS CO-NEXPTIME-COMPLETE.
Proceedings of the Constraint Satisfaction Problem: Complexity and Approximability, 25.10., 2009

2008
Equational Complexity of the Finite Algebra Membership Problem.
Int. J. Algebra Comput., 2008

2004
Determining Whether V(A) Has a Model Companion is Undecidable.
Int. J. Algebra Comput., 2004

2000
A Finite Basis Theorem for Residually Finite, Congruence Meet-Semidistributive Varieties.
J. Symb. Log., 2000

1999
Finiteness Properties of Locally Finite Abelian Varieties.
Int. J. Algebra Comput., 1999

1996
Essential arities of term operations in finite algebras.
Discret. Math., 1996

1994
Hereditary Undecidability of Some Theories of Finite Structures.
J. Symb. Log., 1994

1992
Some Properties of Finitely Decidable Varieties.
Int. J. Algebra Comput., 1992

1987
Injectives in Finitely Generated Universal Horn Classes.
J. Symb. Log., 1987


  Loading...