TRACTABILITY AND LEARNABILITY ARISING FROM ALGEBRAS WITH FEW SUBPOWERS
IDZIAK, Pawel, MARKOVIC, Petar, MCKENZIE, Ralph, VALERIOTE, Matthew, WILLARD, Ross
Published in SIAM journal on computing (01.01.2010)
Published in SIAM journal on computing (01.01.2010)
Get full text
Journal Article
Polynomial-time Tests for Difference Terms in Idempotent Varieties
Get full text
Paper
Journal Article
Tractability and learnability arising from algebras with few subpowers
Idziak, P., Markovic, P., McKenzie, R., Valeriote, M., Willard, R.
Published in 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007) (01.07.2007)
Published in 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007) (01.07.2007)
Get full text
Conference Proceeding
Definable principal congruences and solvability
Idziak, Paweł M., Kearnes, Keith A., Kiss, Emil W., Valeriote, Matthew A.
Published in Annals of pure and applied logic (2009)
Published in Annals of pure and applied logic (2009)
Get full text
Journal Article
On Tractability and Congruence Distributivity
Kiss, E., Valeriote, M.
Published in 21st Annual IEEE Symposium on Logic in Computer Science (LICS'06) (2006)
Published in 21st Annual IEEE Symposium on Logic in Computer Science (LICS'06) (2006)
Get full text
Conference Proceeding
A geometric consequence of residual smallness
Kearnes, Keith A., Kiss, Emil W., Valeriote, Matthew A.
Published in Annals of pure and applied logic (31.08.1999)
Published in Annals of pure and applied logic (31.08.1999)
Get full text
Journal Article