{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,12]],"date-time":"2026-02-12T15:15:11Z","timestamp":1770909311500,"version":"3.50.1"},"reference-count":13,"publisher":"EDP Sciences","issue":"5","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["RAIRO-Theor. Inf. Appl."],"published-print":{"date-parts":[[1997]]},"DOI":"10.1051\/ita\/1997310504571","type":"journal-article","created":{"date-parts":[[2017,2,2]],"date-time":"2017-02-02T10:14:43Z","timestamp":1486030483000},"page":"457-482","source":"Crossref","is-referenced-by-count":22,"title":["The pseudovariety $J$ is hyperdecidable"],"prefix":"10.1051","volume":"31","author":[{"given":"J.","family":"Almeida","sequence":"first","affiliation":[]},{"given":"M.","family":"Zeitoun","sequence":"additional","affiliation":[]}],"member":"250","published-online":{"date-parts":[[2011,1,8]]},"reference":[{"key":"R1","doi-asserted-by":"crossref","unstructured":"1. ALBERT D., BALDINGER R. and RHODES J., Undecidability of the identity problem for finite semigroups, J. Symbolic Logic, 1992, 57, (1), pp.179-192.11509330780.20035","DOI":"10.2307\/2275184"},{"key":"R2","doi-asserted-by":"crossref","unstructured":"2. ALMEIDA J., The algebra of implicit operations, Algebra Universalis, 1989, 26, pp. 16-32.9814230671.08003","DOI":"10.1007\/BF01243870"},{"key":"R3","doi-asserted-by":"crossref","unstructured":"3. ALMEIDA J., Finite Semigroups and Universal Algebra, volume 3 of Series in Algebra. World Scientific, 1995. English translation.13311430844.20039","DOI":"10.1142\/9789812831644"},{"key":"R4","unstructured":"4. ALMEIDA J., Hyperdecidable pseudovarieties and the calculation of semidirect products. Technical Report 96-11, Universidade do Porto (Portugal), 1997.1028.20038"},{"key":"R5","unstructured":"5. ALMEIDA J., Some algorithmic problems for pseudovarieties. In AFL'96, to appear. Technical Report 96-9, Universidade do Porto (Portugal).1709911"},{"key":"R6","unstructured":"6. ALMEIDA J. and SILVA P. V., On the hyperdecidability of semidirect products of pseudovarieties. Technical Report 97-20, Universidade do Porto (Portugal), 1997.0931.200471661260"},{"key":"R7","doi-asserted-by":"crossref","unstructured":"7. ASH C. J., Inevitable graphs: a proof of the type II conjecture and some related decision procedures, Internat. J. Algebra Comput., 1991, 1, pp. 127-146.11123020722.20039","DOI":"10.1142\/S0218196791000079"},{"key":"R8","doi-asserted-by":"crossref","unstructured":"8. HENCKELL K., Pointlike sets: the finest aperiodic cover of a finite semigroup, J. Pure Appl. Algebra, 1988, 55, pp. 85-126.9685710682.20044","DOI":"10.1016\/0022-4049(88)90042-4"},{"key":"R9","unstructured":"9. HOPCROFT J. E. and ULLMAN J. D., Introduction to Automata theory, Languages and Computation, Addison-Wesley, 1979.6455390426.68001"},{"key":"R10","doi-asserted-by":"crossref","unstructured":"10. PIN J.-\u00c9., Varieties of Formal Languages, Plenum Press, 1986.9126940632.68069","DOI":"10.1007\/978-1-4613-2215-3"},{"key":"R11","doi-asserted-by":"crossref","unstructured":"11. RHODES J., New techniques in global semigroup theory. In S. Goberstein and P. Higgins, editors, Semigroups and their Applications, D. Reidel, 1987, pp. 168-181.9006570622.20049","DOI":"10.1007\/978-94-009-3839-7_20"},{"key":"R12","doi-asserted-by":"crossref","unstructured":"12. SIMON I., Piecewise testable events. In Proc. 2nd GI Conf., volume 33 of Lect. Notes Comp. Sci., Springer-Verlag, 1975, pp. 214-222.4274980316.68034","DOI":"10.1007\/3-540-07407-4_23"},{"key":"R13","unstructured":"13. ZEITOUN M., On the decidability of the membership problem of the pseudovariety J \u03bd B , Internat. J. Algebra Comput, 1994, 4, (4)13188220832.20081"}],"container-title":["RAIRO - Theoretical Informatics and Applications"],"original-title":[],"link":[{"URL":"http:\/\/www.rairo-ita.org\/10.1051\/ita\/1997310504571\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,18]],"date-time":"2019-09-18T02:00:26Z","timestamp":1568772026000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.rairo-ita.org\/10.1051\/ita\/1997310504571"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"references-count":13,"journal-issue":{"issue":"5"},"alternative-id":["ita1997310504571"],"URL":"https:\/\/doi.org\/10.1051\/ita\/1997310504571","relation":{},"ISSN":["0988-3754","1290-385X"],"issn-type":[{"value":"0988-3754","type":"print"},{"value":"1290-385X","type":"electronic"}],"subject":[],"published":{"date-parts":[[1997]]}}}