Ross Willard - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 17 from 17

2019

Topology is relevant (in a dichotomy conjecture for infinite-domain constraint satisfaction problems)Manuel Bodirsky, Antoine Mottet, Miroslav Olsák, Jakub Oprsal, Michael Pinsker, Ross Willard. lics 2019: 1-12 [doi]

2018

New-from-old full dualities via axiomatisationBrian A. Davey, Jane G. Pitkethly, Ross Willard. APAL, 169(7):588-615, 2018. [doi]

2017

Polymorphisms, and How to Use ThemLibor Barto, Andrei A. Krokhin, Ross Willard. In Andrei A. Krokhin, Stanislav Zivny, editors, The Constraint Satisfaction Problem: Complexity and Approximability. Volume 7 of Dagstuhl Follow-Ups, pages 1-44, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2017. [doi]

2012

Near Unanimity Constraints Have Bounded Pathwidth DualityLibor Barto, Marcin Kozik, Ross Willard. lics 2012: 125-134 [doi]

The Lattice of Alter egosBrian A. Davey, Jane G. Pitkethly, Ross Willard. ijac, 22(1), 2012. [doi]

2010

Tractability and Learnability Arising from Algebras with Few SubpowersPawel M. Idziak, Petar Markovic, Ralph McKenzie, Matthew Valeriote, Ross Willard. SICOMP, 39(7):3023-3037, 2010. [doi]

Testing Expressibility Is HardRoss Willard. cp 2010: 9-23 [doi]

2009

PP-DEFINABILITY IS CO-NEXPTIME-COMPLETERoss Willard. Dagstuhl 2009: [doi]

2008

Equational Complexity of the Finite Algebra Membership ProblemGeorge F. McNulty, Zoltán Székely, Ross Willard. ijac, 18(8):1283-1319, 2008. [doi]

2007

Tractability and learnability arising from algebras with few subpowersPawel M. Idziak, Petar Markovic, Ralph McKenzie, Matthew Valeriote, Ross Willard. lics 2007: 213-224 [doi]

2004

Determining Whether V(A) Has a Model Companion is UndecidableRoss Willard. ijac, 14(3):325-355, 2004. [doi]

2000

A Finite Basis Theorem for Residually Finite, Congruence Meet-Semidistributive VarietiesRoss Willard. JSYML, 65(1):187-200, 2000.

1999

Finiteness Properties of Locally Finite Abelian VarietiesKeith A. Kearnes, Ross Willard. ijac, 9(2):157-168, 1999. [doi]

1996

Essential arities of term operations in finite algebrasRoss Willard. DM, 149(1-3):239-259, 1996. [doi]

1994

Hereditary Undecidability of Some Theories of Finite StructuresRoss Willard. JSYML, 59(4):1254-1262, 1994.

1992

Some Properties of Finitely Decidable VarietiesMatthew Valeriote, Ross Willard. ijac, 2(1):89-102, 1992. [doi]

1987

Injectives in Finitely Generated Universal Horn ClassesMichael H. Albert, Ross Willard. JSYML, 52(3):786-792, 1987.

Sign in or sign up to see more results.

runs on WebDSL