{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,8,12]],"date-time":"2022-08-12T02:31:04Z","timestamp":1660271464557},"reference-count":13,"publisher":"World Scientific Pub Co Pte Lt","issue":"05","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Algebra Comput."],"published-print":{"date-parts":[[2011,8]]},"abstract":"<jats:p> In this paper, we extend to DA some techniques developed by Almeida and Weil, and Almeida and Zeitoun for the pseudovariety R to obtain representations of the implicit operations on DA: by labeled trees of finite height, by quasi-ternary labeled trees, and by labeled linear orderings. We prove that two implicit operations are equal over DA if and only if they have the same representation, for any of the three representations. We end the paper by relating these representations. <\/jats:p>","DOI":"10.1142\/s0218196711006467","type":"journal-article","created":{"date-parts":[[2011,3,28]],"date-time":"2011-03-28T07:33:30Z","timestamp":1301297610000},"page":"675-701","source":"Crossref","is-referenced-by-count":3,"title":["REPRESENTATIONS OF THE FREE PROFINITE OBJECT OVER DA"],"prefix":"10.1142","volume":"21","author":[{"given":"A.","family":"MOURA","sequence":"first","affiliation":[{"name":"Instituto Superior de Engenharia, Polit\u00e9cnico do Porto, Centro de Matem\u00e0tica da Universidade do Porto, Rua Dr. Ant\u00f3nio Bernardino de Almeida, 431, 4200-072 Porto, Portugal"}]}],"member":"219","published-online":{"date-parts":[[2011,11,20]]},"reference":[{"key":"rf1","doi-asserted-by":"publisher","DOI":"10.1016\/0022-4049(91)90019-X"},{"key":"rf2","volume-title":"Finite Semigroups and Universal Algebra","author":"Almeida J.","year":"1994"},{"key":"rf3","doi-asserted-by":"publisher","DOI":"10.1142\/S021819679600009X"},{"key":"rf4","doi-asserted-by":"publisher","DOI":"10.1142\/9789812776884_0001"},{"key":"rf7","doi-asserted-by":"publisher","DOI":"10.1142\/S0218196797000289"},{"key":"rf8","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2006.10.019"},{"key":"rf9","unstructured":"A.\u00a0Azevedo, Actas II Encontro de Algebristas Portugueses, ed. J.\u00a0Almeida (Universidade do Porto, Porto, 1987)\u00a0pp. 33\u201343."},{"key":"rf10","volume-title":"Automata, Languages and Machines","author":"Eilenberg S.","year":"1976"},{"key":"rf11","doi-asserted-by":"publisher","DOI":"10.1007\/BF02483902"},{"key":"rf12","volume-title":"Linear Orderings","author":"Rosenstein J. G.","year":"1982"},{"key":"rf13","doi-asserted-by":"publisher","DOI":"10.1007\/BF02194921"},{"key":"rf14","doi-asserted-by":"publisher","DOI":"10.1142\/9789812776884_0021"},{"key":"rf15","doi-asserted-by":"publisher","DOI":"10.1007\/s000120050033"}],"container-title":["International Journal of Algebra and Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0218196711006467","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,6]],"date-time":"2019-08-06T18:21:26Z","timestamp":1565115686000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0218196711006467"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,8]]},"references-count":13,"journal-issue":{"issue":"05","published-online":{"date-parts":[[2011,11,20]]},"published-print":{"date-parts":[[2011,8]]}},"alternative-id":["10.1142\/S0218196711006467"],"URL":"https:\/\/doi.org\/10.1142\/s0218196711006467","relation":{},"ISSN":["0218-1967","1793-6500"],"issn-type":[{"value":"0218-1967","type":"print"},{"value":"1793-6500","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,8]]}}}