{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,12]],"date-time":"2026-02-12T15:13:08Z","timestamp":1770909188547,"version":"3.50.1"},"reference-count":24,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2015,12,14]],"date-time":"2015-12-14T00:00:00Z","timestamp":1450051200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Semigroup Forum"],"published-print":{"date-parts":[[2017,4]]},"DOI":"10.1007\/s00233-015-9769-2","type":"journal-article","created":{"date-parts":[[2015,12,14]],"date-time":"2015-12-14T17:20:56Z","timestamp":1450113656000},"page":"325-335","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Reducibility of pointlike problems"],"prefix":"10.1007","volume":"94","author":[{"given":"J.","family":"Almeida","sequence":"first","affiliation":[]},{"given":"J. C.","family":"Costa","sequence":"additional","affiliation":[]},{"given":"M.","family":"Zeitoun","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,12,14]]},"reference":[{"key":"9769_CR1","doi-asserted-by":"crossref","DOI":"10.1142\/2481","volume-title":"Finite Semigroups and Universal Algebra","author":"J Almeida","year":"1995","unstructured":"Almeida, J.: Finite Semigroups and Universal Algebra. World Scientific, Singapore (1995)"},{"key":"9769_CR2","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1142\/S021819679600009X","volume":"6","author":"J Almeida","year":"1996","unstructured":"Almeida, J.: A syntactical proof of locality of DA. Int. J. Algebra Comput. 6, 165\u2013177 (1996)","journal-title":"Int. J. Algebra Comput."},{"issue":"Suppl","key":"9769_CR3","first-page":"531","volume":"54","author":"J Almeida","year":"1999","unstructured":"Almeida, J.: Some algorithmic problems for pseudovarieties. Publ. Math. Debr. 54(Suppl), 531\u2013552 (1999)","journal-title":"Publ. Math. Debr."},{"key":"9769_CR4","doi-asserted-by":"crossref","first-page":"387","DOI":"10.1090\/S0002-9947-01-02857-4","volume":"354","author":"J Almeida","year":"2002","unstructured":"Almeida, J.: Dynamics of implicit operations and tameness of pseudovarieties of groups. Trans. Am. Math. Soc. 354, 387\u2013411 (2002)","journal-title":"Trans. Am. Math. Soc."},{"key":"9769_CR5","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1007\/s00605-005-0324-1","volume":"146","author":"J Almeida","year":"2005","unstructured":"Almeida, J., Costa, J.C., Zeitoun, M.: Tameness of pseudovariety joins involving R. Monatsh. Math. 146, 89\u2013111 (2005)","journal-title":"Monatsh. Math."},{"key":"9769_CR6","doi-asserted-by":"crossref","first-page":"445","DOI":"10.4171\/pm\/1792","volume":"64","author":"J Almeida","year":"2007","unstructured":"Almeida, J., Costa, J.C., Zeitoun, M.: Complete reducibility of systems of equations with respect to $$\\sf R$$ R . Port. Math. 64, 445\u2013508 (2007)","journal-title":"Port. Math."},{"key":"9769_CR7","doi-asserted-by":"crossref","first-page":"486","DOI":"10.1016\/j.jpaa.2007.06.007","volume":"212","author":"J Almeida","year":"2008","unstructured":"Almeida, J., Costa, J.C., Zeitoun, M.: Pointlike sets with respect to R and J. J. Pure Appl. Algebra 212, 486\u2013499 (2008)","journal-title":"J. Pure Appl. Algebra"},{"issue":"4","key":"9769_CR8","first-page":"379","volume":"58","author":"J Almeida","year":"2001","unstructured":"Almeida, J., Delgado, M.: Sur certains syst\u00e8mes d\u2019\u00e9quations avec contraintes dans un groupe libre-addenda. Portugal. Math. 58(4), 379\u2013387 (2001)","journal-title":"Portugal. Math."},{"key":"9769_CR9","doi-asserted-by":"crossref","first-page":"50","DOI":"10.1112\/S0024611500012144","volume":"80","author":"J Almeida","year":"2000","unstructured":"Almeida, J., Steinberg, B.: On the decidability of iterated semidirect products and applications to complexity. Proc. Lond. Math. Soc. 80, 50\u201374 (2000)","journal-title":"Proc. Lond. Math. Soc."},{"key":"9769_CR10","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/978-1-4612-1388-8_1","volume-title":"Algorithmic Problems in Groups and Semigroups","author":"J Almeida","year":"2000","unstructured":"Almeida, J., Steinberg, B.: Syntactic and global semigroup theory, a synthesis approach. In: Birget, J.C., Margolis, S.W., Meakin, J., Sapir, M.V. (eds.) Algorithmic Problems in Groups and Semigroups, pp. 1\u201323. Birkh\u00e4user, Basel (2000)"},{"key":"9769_CR11","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1142\/S0218196791000079","volume":"1","author":"CJ Ash","year":"1991","unstructured":"Ash, C.J.: Inevitable graphs: a proof of the type II conjecture and some related decision procedures. Int. J. Algebra Comput. 1, 127\u2013146 (1991)","journal-title":"Int. J. Algebra Comput."},{"issue":"1\u20132","key":"9769_CR12","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1016\/0022-4049(88)90042-4","volume":"55","author":"K Henckell","year":"1988","unstructured":"Henckell, K.: Pointlike sets: the finest aperiodic cover of a finite semigroup. J. Pure Appl. Algebra 55(1\u20132), 85\u2013126 (1988)","journal-title":"J. Pure Appl. Algebra"},{"key":"9769_CR13","doi-asserted-by":"crossref","first-page":"703","DOI":"10.1142\/S0218196704002006","volume":"4","author":"K Henckell","year":"2004","unstructured":"Henckell, K.: Idempotent pointlike sets. Int. J. Algebra Comput. 4, 703\u2013717 (2004). International Conference on Semigroups and Groups in honor of the 65th birthday of Prof. John Rhodes","journal-title":"Int. J. Algebra Comput."},{"issue":"4","key":"9769_CR14","doi-asserted-by":"crossref","first-page":"411","DOI":"10.1142\/S0218196791000298","volume":"1","author":"K Henckell","year":"1991","unstructured":"Henckell, K., Margolis, S.W., Pin, J.-\u00c9., Rhodes, J.: Ash\u2019s type $${\\rm II}$$ II theorem, profinite topology and Mal\u2019cev products. I. Int. J. Algebra Comput. 1(4), 411\u2013436 (1991)","journal-title":"Int. J. Algebra Comput."},{"key":"9769_CR15","first-page":"453","volume-title":"Monoids and Semigroups with Applications (Singapore)","author":"K Henckell","year":"1991","unstructured":"Henckell, K., Rhodes, J.: The theorem of Knast, the PG=BG and Type II Conjectures. In: Rhodes, J. (ed.) Monoids and Semigroups with Applications (Singapore), pp. 453\u2013463. World Scientific, Singapore (1991)"},{"issue":"2","key":"9769_CR16","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1142\/S0218196710005662","volume":"20","author":"K Henckell","year":"2010","unstructured":"Henckell, K., Rhodes, J., Steinberg, B.: Aperiodic pointlikes and beyond. Int. J. Algebra Comput. 20(2), 287\u2013305 (2010)","journal-title":"Int. J. Algebra Comput."},{"key":"9769_CR17","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1142\/S0218196710005650","volume":"20","author":"K Henckell","year":"2010","unstructured":"Henckell, K., Rhodes, J., Steinberg, B.: A profinite approach to stable pairs. Int. J. Algebra Comput. 20, 269\u2013285 (2010)","journal-title":"Int. J. Algebra Comput."},{"issue":"5","key":"9769_CR18","doi-asserted-by":"crossref","first-page":"675","DOI":"10.1142\/S0218196711006467","volume":"21","author":"A Moura","year":"2011","unstructured":"Moura, A.: Representations of the free profinite object over DA. Int. J. Algebra Comput. 21(5), 675\u2013701 (2011)","journal-title":"Int. J. Algebra Comput."},{"issue":"46","key":"9769_CR19","doi-asserted-by":"crossref","first-page":"6556","DOI":"10.1016\/j.tcs.2011.08.003","volume":"412","author":"A Moura","year":"2011","unstructured":"Moura, A.: The word problem for $$\\omega $$ \u03c9 -terms over DA. Theor. Comput. Sci. 412(46), 6556\u20136569 (2011)","journal-title":"Theor. Comput. Sci."},{"key":"9769_CR20","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1007\/978-94-011-0149-3_2","volume-title":"Semigroups, Formal Languages and Groups (Dordrecht)","author":"J-E Pin","year":"1995","unstructured":"Pin, J.-E.: BG=PG: a success story. In: Fountain, J. (ed.) Semigroups, Formal Languages and Groups (Dordrecht), vol. 466, pp. 33\u201347. Kluwer, Dordrecht (1995)"},{"key":"9769_CR21","doi-asserted-by":"crossref","unstructured":"Place, T., van Rooijen, L., Zeitoun, M.: Separating regular languages by piecewise testable and unambiguous languages. In: MFCS\u201913. Lectures Notes in Computer Science, vol. 8087, pp.\u00a0729\u2013740. Springer, Berlin (2013)","DOI":"10.1007\/978-3-642-40313-2_64"},{"key":"9769_CR22","doi-asserted-by":"crossref","unstructured":"Place, T., Zeitoun, M.: Separating regular languages with first-order logic. In: Proceedings of the Joint Meeting of the 23rd EACSL Annual Conference on Computer Science Logic (CSL\u201914) and the 29th Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS\u201914) (New York, NY, USA), pp.\u00a075:1\u201375:10. ACM (2014)","DOI":"10.1145\/2603088.2603098"},{"key":"9769_CR23","volume-title":"The $$q$$ q","author":"J Rhodes","year":"2009","unstructured":"Rhodes, J., Steinberg, B.: The $$q$$ q -Theory of Finite Semigroups. Springer Monographs in Mathematics, Springer, Berlin (2009)"},{"key":"9769_CR24","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1142\/S0218196701000462","volume":"11","author":"B Steinberg","year":"2001","unstructured":"Steinberg, B.: Inevitable graphs and profinite topologies: some solutions to algorithmic problems in monoid and automata theory, stemming from group theory. Int. J. Algebra Comput. 11, 25\u201371 (2001)","journal-title":"Int. J. Algebra Comput."}],"container-title":["Semigroup Forum"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00233-015-9769-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00233-015-9769-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00233-015-9769-2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00233-015-9769-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,13]],"date-time":"2024-06-13T01:56:09Z","timestamp":1718243769000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00233-015-9769-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,12,14]]},"references-count":24,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2017,4]]}},"alternative-id":["9769"],"URL":"https:\/\/doi.org\/10.1007\/s00233-015-9769-2","relation":{},"ISSN":["0037-1912","1432-2137"],"issn-type":[{"value":"0037-1912","type":"print"},{"value":"1432-2137","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,12,14]]}}}