{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,29]],"date-time":"2022-03-29T22:17:48Z","timestamp":1648592268501},"reference-count":25,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2010,6,18]],"date-time":"2010-06-18T00:00:00Z","timestamp":1276819200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Semigroup Forum"],"published-print":{"date-parts":[[2010,8]]},"DOI":"10.1007\/s00233-010-9236-z","type":"journal-article","created":{"date-parts":[[2010,6,17]],"date-time":"2010-06-17T14:02:14Z","timestamp":1276783334000},"page":"26-50","source":"Crossref","is-referenced-by-count":4,"title":["Semidirect product with an order-computable pseudovariety and tameness"],"prefix":"10.1007","volume":"81","author":[{"given":"J.","family":"Almeida","sequence":"first","affiliation":[]},{"given":"J. C.","family":"Costa","sequence":"additional","affiliation":[]},{"given":"M. L.","family":"Teixeira","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2010,6,18]]},"reference":[{"key":"9236_CR1","doi-asserted-by":"crossref","first-page":"205","DOI":"10.1016\/0022-4049(91)90019-X","volume":"69","author":"J. Almeida","year":"1990","unstructured":"Almeida, J.: Implicit operations on finite $\\mathcal{J}$ -trivial semigroups and a conjecture of I. Simon. J. Pure Appl. Algebra 69, 205\u2013218 (1990)","journal-title":"J. Pure Appl. Algebra"},{"key":"9236_CR2","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), English translation"},{"key":"9236_CR3","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."},{"key":"9236_CR4","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1142\/S0218196799000163","volume":"9","author":"J. Almeida","year":"1999","unstructured":"Almeida, J.: Hyperdecidable pseudovarieties and the calculation of semidirect products. Int. J. Algebra Comput. 9, 241\u2013261 (1999)","journal-title":"Int. J. Algebra Comput."},{"key":"9236_CR5","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1142\/9789812776884_0001","volume-title":"Semigroups, Algorithms, Automata and Languages (Singapore)","author":"J. Almeida","year":"2002","unstructured":"Almeida, J.: Finite semigroups: an introduction to a unified theory of pseudovarieties. In: Gomes, G.M.S., Pin, J.-E., Silva, P.V. (eds.) Semigroups, Algorithms, Automata and Languages (Singapore), pp. 3\u201364. World Scientific, Singapore (2002)"},{"key":"9236_CR6","series-title":"NATO Science Series II: Mathematics, Physics and Chemistry","first-page":"1","volume-title":"Structural Theory of Automata, Semigroups, and Universal Algebra (New York)","author":"J. Almeida","year":"2005","unstructured":"Almeida, J.: Profinite semigroups and applications. In: Kudryavtsev, V.B., Rosenberg, I.G. (eds.) Structural Theory of Automata, Semigroups, and Universal Algebra (New York). NATO Science Series II: Mathematics, Physics and Chemistry, vol.\u00a0207, pp. 1\u201345. Springer, Berlin (2005), Proceedings of the NATO Advanced Study Institute on Structural Theory of Automata, Semigroups and Universal Algebra, Montr\u00e9al, Qu\u00e9bec, Canada, 7\u201318 July 2003"},{"key":"9236_CR7","first-page":"1","volume":"34","author":"J. Almeida","year":"2008","unstructured":"Almeida, J.: Decidability and tameness in the theory of finite semigroups. Bull. Iran. Math. Soc. 34, 1\u201322 (2008)","journal-title":"Bull. Iran. Math. Soc."},{"key":"9236_CR8","doi-asserted-by":"crossref","first-page":"605","DOI":"10.1016\/j.jpaa.2008.08.009","volume":"213","author":"J. Almeida","year":"2009","unstructured":"Almeida, J., Costa, A.: Infinite-vertex free profinite semigroupoids and symbolic dynamics. J. Pure Appl. Algebra 213, 605\u2013631 (2009)","journal-title":"J. Pure Appl. Algebra"},{"key":"9236_CR9","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\u2014addenda. Port. Math. 58, 379\u2013387 (2001)","journal-title":"Port. Math."},{"key":"9236_CR10","doi-asserted-by":"crossref","first-page":"4065","DOI":"10.1080\/00927879808826395","volume":"26","author":"J. Almeida","year":"1998","unstructured":"Almeida, J., Silva, P.V.: On the hyperdecidability of semidirect products of pseudovarieties. Commun. Algebra 26, 4065\u20134077 (1998)","journal-title":"Commun. Algebra"},{"key":"9236_CR11","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":"9236_CR12","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":"9236_CR13","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0022-4049(96)00083-7","volume":"123","author":"J. Almeida","year":"1998","unstructured":"Almeida, J., Weil, P.: Profinite categories and semidirect products. J. Pure Appl. Algebra 123, 1\u201350 (1998)","journal-title":"J. Pure Appl. Algebra"},{"key":"9236_CR14","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1142\/S0218196791000079","volume":"1","author":"C.J. 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."},{"key":"9236_CR15","doi-asserted-by":"crossref","first-page":"2693","DOI":"10.1090\/S0002-9939-03-06860-6","volume":"131","author":"K. Auinger","year":"2003","unstructured":"Auinger, K., Steinberg, B.: On the extension problem for partial permutations. Proc. Am. Math. Soc. 131, 2693\u20132703 (2003)","journal-title":"Proc. Am. Math. Soc."},{"key":"9236_CR16","doi-asserted-by":"crossref","first-page":"963","DOI":"10.1090\/S0002-9939-99-04747-4","volume":"127","author":"T. Coulbois","year":"1999","unstructured":"Coulbois, T., Kh\u00e9lif, A.: Equations in free groups are not finitely approximable. Proc. Am. Math. Soc. 127, 963\u2013965 (1999)","journal-title":"Proc. Am. Math. Soc."},{"key":"9236_CR17","volume-title":"Automata, Languages and Machines, vol. B","author":"S. Eilenberg","year":"1976","unstructured":"Eilenberg, S.: Automata, Languages and Machines, vol. B. Academic Press, New York (1976)"},{"key":"9236_CR18","doi-asserted-by":"crossref","first-page":"1985","DOI":"10.1090\/S0002-9947-99-02374-0","volume":"352","author":"B. Herwig","year":"2000","unstructured":"Herwig, B., Lascar, D.: Extending partial automorphisms and the profinite topology on free groups. Trans. Am. Math. Soc. 352, 1985\u20132021 (2000)","journal-title":"Trans. Am. Math. Soc."},{"key":"9236_CR19","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1016\/0022-4049(95)00074-7","volume":"109","author":"P.R. Jones","year":"1996","unstructured":"Jones, P.R.: Profinite categories, implicit operations and pseudovarieties of categories. J. Pure Appl. Algebra 109, 61\u201395 (1996)","journal-title":"J. Pure Appl. Algebra"},{"key":"9236_CR20","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4613-2215-3","volume-title":"Varieties of Formal Languages","author":"J.-E. Pin","year":"1986","unstructured":"Pin, J.-E.: Varieties of Formal Languages. Plenum, London (1986), English translation"},{"key":"9236_CR21","doi-asserted-by":"crossref","first-page":"455","DOI":"10.1142\/S0218196799000278","volume":"9","author":"J. Rhodes","year":"1999","unstructured":"Rhodes, J.: Undecidability, automata and pseudovarieties of finite semigroups. Int. J. Algebra Comput. 9, 455\u2013473 (1999)","journal-title":"Int. J. Algebra Comput."},{"key":"9236_CR22","series-title":"Springer Monographs in Mathematics","doi-asserted-by":"crossref","DOI":"10.1007\/b104443","volume-title":"The q-Theory of Finite Semigroups","author":"J. Rhodes","year":"2009","unstructured":"Rhodes, J., Steinberg, B.: The q-Theory of Finite Semigroups. Springer Monographs in Mathematics. Springer, Berlin (2009)"},{"key":"9236_CR23","first-page":"670","volume":"55","author":"M.V. Sapir","year":"1991","unstructured":"Sapir, M.V.: The restricted burnside problem for varieties of semigroups. Izv. Akad. Nauk SSSR, Ser. Mat. 55, 670\u2013679 (1991). In Russian. Translation in Math. USSR-Izv. 38(3), 659\u2013667 (1992)","journal-title":"Izv. Akad. Nauk SSSR, Ser. Mat."},{"key":"9236_CR24","unstructured":"Steinberg, B.: Decidability and hyperdecidability of joins of pseudovarieties. Ph.D. thesis, UC Berkeley (1998)"},{"key":"9236_CR25","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1016\/0022-4049(87)90108-3","volume":"48","author":"B. Tilson","year":"1987","unstructured":"Tilson, B.: Categories as algebra: an essential ingredient in the theory of monoids. J. Pure Appl. Algebra 48, 83\u2013198 (1987)","journal-title":"J. Pure Appl. Algebra"}],"container-title":["Semigroup Forum"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00233-010-9236-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00233-010-9236-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00233-010-9236-z","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,24]],"date-time":"2019-05-24T13:15:29Z","timestamp":1558703729000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00233-010-9236-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,6,18]]},"references-count":25,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2010,8]]}},"alternative-id":["9236"],"URL":"https:\/\/doi.org\/10.1007\/s00233-010-9236-z","relation":{},"ISSN":["0037-1912","1432-2137"],"issn-type":[{"value":"0037-1912","type":"print"},{"value":"1432-2137","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,6,18]]}}}