{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,3]],"date-time":"2022-04-03T11:25:44Z","timestamp":1648985144133},"reference-count":6,"publisher":"World Scientific Pub Co Pte Lt","issue":"05n06","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Algebra Comput."],"published-print":{"date-parts":[[2004,10]]},"abstract":"<jats:p> A variation of first-order logic with variables for exponents is developed to solve some problems in the setting of recognizable languages on the free monoid, accommodating operators such as product, bounded shuffle and reversion. Restricting the operators to powers and product, analogous results are obtained for recognizable languages of an arbitrary finitely generated monoid M, in particular for a free inverse monoid of finite rank. As a consequence, it is shown to be decidable whether or not a recognizable subset of M is pure or p-pure. <\/jats:p>","DOI":"10.1142\/s0218196704001906","type":"journal-article","created":{"date-parts":[[2004,12,17]],"date-time":"2004-12-17T11:17:03Z","timestamp":1103282223000},"page":"785-799","source":"Crossref","is-referenced-by-count":1,"title":["AN APPLICATION OF FIRST-ORDER LOGIC TO THE STUDY OF RECOGNIZABLE LANGUAGES"],"prefix":"10.1142","volume":"14","author":[{"given":"PEDRO V.","family":"SILVA","sequence":"first","affiliation":[{"name":"Centro de Matem\u00e1tica,  Faculdade de Ci\u00eancias, Universidade do Porto,  R. Campo Alegre 687, 4169-007 Porto, Portugal"}]}],"member":"219","published-online":{"date-parts":[[2011,11,20]]},"reference":[{"key":"rf1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-663-09367-1"},{"key":"rf3","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(98)00225-4"},{"key":"rf4","doi-asserted-by":"publisher","DOI":"10.1016\/0021-8693(69)90107-0"},{"key":"rf5","volume-title":"Introduction to Mathematical Logic","author":"Mendelson E.","year":"1979"},{"key":"rf6","first-page":"219","volume":"52","author":"Savioz C.","journal-title":"J. Symb. Logic"},{"key":"rf7","doi-asserted-by":"publisher","DOI":"10.1007\/s00236-003-0107-x"}],"container-title":["International Journal of Algebra and Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0218196704001906","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,7]],"date-time":"2019-08-07T13:42:19Z","timestamp":1565185339000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0218196704001906"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004,10]]},"references-count":6,"journal-issue":{"issue":"05n06","published-online":{"date-parts":[[2011,11,20]]},"published-print":{"date-parts":[[2004,10]]}},"alternative-id":["10.1142\/S0218196704001906"],"URL":"https:\/\/doi.org\/10.1142\/s0218196704001906","relation":{},"ISSN":["0218-1967","1793-6500"],"issn-type":[{"value":"0218-1967","type":"print"},{"value":"1793-6500","type":"electronic"}],"subject":[],"published":{"date-parts":[[2004,10]]}}}