{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,30]],"date-time":"2025-08-30T16:51:36Z","timestamp":1756572696222},"reference-count":16,"publisher":"World Scientific Pub Co Pte Lt","issue":"08","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Algebra Comput."],"published-print":{"date-parts":[[2007,12]]},"abstract":"<jats:p> In this paper we produce a finite algebra which generates a variety with a PSPACE-complete membership problem. We produce another finite algebra with a \u03b3 function that grows exponentially. The results are obtained via a modification of a construction of the algebra A(T) that was introduced by McKenzie in 1996. <\/jats:p>","DOI":"10.1142\/s0218196707004335","type":"journal-article","created":{"date-parts":[[2007,12,18]],"date-time":"2007-12-18T11:40:24Z","timestamp":1197978024000},"page":"1635-1666","source":"Crossref","is-referenced-by-count":5,"title":["COMPUTATIONALLY AND ALGEBRAICALLY COMPLEX FINITE ALGEBRA MEMBERSHIP PROBLEMS"],"prefix":"10.1142","volume":"17","author":[{"given":"MARCIN","family":"KOZIK","sequence":"first","affiliation":[{"name":"Theoretical Computer Science Department, Jagiellonian University, Krak\u00f3w, Poland"}]}],"member":"219","published-online":{"date-parts":[[2011,11,20]]},"reference":[{"key":"rf1","first-page":"543","volume":"96","author":"Bahturin Yu. A.","journal-title":"Matematicheskii Sbornik"},{"key":"rf2","doi-asserted-by":"publisher","DOI":"10.1137\/S0097539798345944"},{"key":"rf3","first-page":"121","volume":"2","author":"Demel J.","journal-title":"Kybernetika"},{"key":"rf4","doi-asserted-by":"publisher","DOI":"10.1142\/S0218196706002846"},{"key":"rf5","first-page":"40","volume":"3","author":"Kalicki J.","journal-title":"Proc. Amer. Math. Soc."},{"key":"rf8","doi-asserted-by":"publisher","DOI":"10.1016\/0021-8693(73)90025-2"},{"key":"rf9","doi-asserted-by":"publisher","DOI":"10.1142\/S0218196707003640"},{"key":"rf10","first-page":"269","volume":"11","author":"L'vov I. V.","journal-title":"Algebra i Logika"},{"key":"rf11","doi-asserted-by":"crossref","first-page":"24","DOI":"10.7146\/math.scand.a-10984","volume":"27","author":"McKenzie R.","journal-title":"Mathematica Scandinavica"},{"key":"rf12","doi-asserted-by":"publisher","DOI":"10.1142\/S0218196796000039"},{"key":"rf13","doi-asserted-by":"publisher","DOI":"10.1142\/S0218196796000027"},{"key":"rf14","doi-asserted-by":"publisher","DOI":"10.1142\/S0218196796000040"},{"key":"rf15","doi-asserted-by":"publisher","DOI":"10.1016\/0021-8693(64)90004-3"},{"key":"rf16","doi-asserted-by":"publisher","DOI":"10.1016\/S0022-0000(70)80006-X"},{"key":"rf18","doi-asserted-by":"publisher","DOI":"10.1142\/S0218196702001085"},{"key":"rf19","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-97-01807-2"}],"container-title":["International Journal of Algebra and Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0218196707004335","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,6]],"date-time":"2019-08-06T22:29:33Z","timestamp":1565130573000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0218196707004335"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,12]]},"references-count":16,"journal-issue":{"issue":"08","published-online":{"date-parts":[[2011,11,20]]},"published-print":{"date-parts":[[2007,12]]}},"alternative-id":["10.1142\/S0218196707004335"],"URL":"https:\/\/doi.org\/10.1142\/s0218196707004335","relation":{},"ISSN":["0218-1967","1793-6500"],"issn-type":[{"value":"0218-1967","type":"print"},{"value":"1793-6500","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,12]]}}}