{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,5,10]],"date-time":"2023-05-10T19:30:34Z","timestamp":1683747034662},"reference-count":14,"publisher":"World Scientific Pub Co Pte Lt","issue":"06","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Algebra Comput."],"published-print":{"date-parts":[[2019,9]]},"abstract":"<jats:p> We consider the following practical question: given a finite algebra [Formula: see text] in a finite language, can we efficiently decide whether the variety generated by [Formula: see text] has a difference term? We answer this question (positively) in the idempotent case and then describe algorithms for constructing difference term operations. <\/jats:p>","DOI":"10.1142\/s021819671950036x","type":"journal-article","created":{"date-parts":[[2019,3,11]],"date-time":"2019-03-11T08:14:12Z","timestamp":1552292052000},"page":"927-949","source":"Crossref","is-referenced-by-count":3,"title":["Polynomial-time tests for difference terms in idempotent varieties"],"prefix":"10.1142","volume":"29","author":[{"given":"William","family":"DeMeo","sequence":"first","affiliation":[{"name":"Mathematics Department, University of Colorado, Boulder, Colorado 80309, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ralph","family":"Freese","sequence":"additional","affiliation":[{"name":"Mathematics Department, University of Hawaii, Honolulu, Hawaii 96822, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matthew","family":"Valeriote","sequence":"additional","affiliation":[{"name":"Mathematics Department, McMaster University, Hamilton, Ontario L8S 4K1, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"219","published-online":{"date-parts":[[2019,8,26]]},"reference":[{"key":"S021819671950036XBIB001","doi-asserted-by":"publisher","DOI":"10.1007\/s00012-008-2073-1"},{"key":"S021819671950036XBIB003","series-title":"London Mathematical Society Lecture Note Series","volume-title":"Commutator Theory for Congruence Modular Varieties","volume":"125","author":"Freese R.","year":"1987"},{"issue":"1","key":"S021819671950036XBIB004","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1142\/S0218196709004956","volume":"19","author":"Freese R.","year":"2009","journal-title":"Internat. J. Algebra Comput."},{"key":"S021819671950036XBIB005","doi-asserted-by":"publisher","DOI":"10.1090\/conm\/076"},{"issue":"6","key":"S021819671950036XBIB006","doi-asserted-by":"crossref","first-page":"1521","DOI":"10.1142\/S0218196713500343","volume":"23","author":"Horowitz J.","year":"2013","journal-title":"Int. J. Algebra Comput."},{"issue":"3","key":"S021819671950036XBIB007","doi-asserted-by":"crossref","first-page":"926","DOI":"10.1006\/jabr.1995.1334","volume":"177","author":"Kearnes K. A.","year":"1995","journal-title":"J. Algebra"},{"issue":"1","key":"S021819671950036XBIB008","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1090\/S0002-9939-99-04882-0","volume":"127","author":"Kearnes K. A.","year":"1999","journal-title":"Proc. Amer. Math. Soc."},{"issue":"1046","key":"S021819671950036XBIB009","first-page":"viii+169","volume":"222","author":"Kearnes K. A.","year":"2013","journal-title":"Mem. Amer. Math. Soc."},{"key":"S021819671950036XBIB010","doi-asserted-by":"publisher","DOI":"10.1142\/S0218196798000247"},{"issue":"3","key":"S021819671950036XBIB011","doi-asserted-by":"crossref","first-page":"2115","DOI":"10.1090\/tran\/6509","volume":"368","author":"Kearnes K.","year":"2016","journal-title":"Trans. Amer. Math. Soc."},{"key":"S021819671950036XBIB012","doi-asserted-by":"publisher","DOI":"10.1007\/s00012-017-0475-7"},{"key":"S021819671950036XBIB013","series-title":"Research Express Mathematical","first-page":"209","volume-title":"Universal Algebra and Quasigroup Theory","volume":"19","author":"Szendrei \u00c1.","year":"1992"},{"issue":"2","key":"S021819671950036XBIB014","doi-asserted-by":"crossref","first-page":"451","DOI":"10.4153\/CJM-2009-023-2","volume":"61","author":"Valeriote M. A.","year":"2009","journal-title":"Canad. J. Math."},{"key":"S021819671950036XBIB015","doi-asserted-by":"publisher","DOI":"10.1112\/blms\/bdu044"}],"container-title":["International Journal of Algebra and Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S021819671950036X","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,27]],"date-time":"2019-08-27T03:41:20Z","timestamp":1566877280000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S021819671950036X"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,8,26]]},"references-count":14,"journal-issue":{"issue":"06","published-online":{"date-parts":[[2019,8,26]]},"published-print":{"date-parts":[[2019,9]]}},"alternative-id":["10.1142\/S021819671950036X"],"URL":"https:\/\/doi.org\/10.1142\/s021819671950036x","relation":{},"ISSN":["0218-1967","1793-6500"],"issn-type":[{"value":"0218-1967","type":"print"},{"value":"1793-6500","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,8,26]]}}}