{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:00:41Z","timestamp":1725663641661},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540565031"},{"type":"electronic","value":"9783540475743"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-56503-5_49","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T06:16:24Z","timestamp":1330236984000},"page":"494-504","source":"Crossref","is-referenced-by-count":0,"title":["On the logical definability of some rational trace languages"],"prefix":"10.1007","author":[{"given":"C.","family":"Choffrut","sequence":"first","affiliation":[]},{"given":"L.","family":"Guerra","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,27]]},"reference":[{"key":"49_CR1","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0304-3975(88)90051-5","volume":"60","author":"IJ. J. Aalbersberg","year":"1988","unstructured":"IJ.J. AALBERSBERG, G. ROZENBERG, Theory of traces, Theoret. Comput. Sci.\n60, 1988, 1\u201382","journal-title":"Theoret. Comput. Sci."},{"key":"49_CR2","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1051\/ita\/1986200201031","volume":"20","author":"IJ. J. Aalbersberg","year":"1986","unstructured":"IJ.J. AALBERSBERG, E. WELZL, Trace languages defined by regular string languages, RAIRO Inform. Th\u00e9or. Applic.\n20, 1986, 103\u2013119","journal-title":"RAIRO Inform. Th\u00e9or. Applic."},{"key":"49_CR3","doi-asserted-by":"crossref","unstructured":"J. BERSTEL, Transductions and Context-Free Languages, Teubner, 1979","DOI":"10.1007\/978-3-663-09367-1"},{"key":"49_CR4","unstructured":"A. BERTONI, G. MAURI, N. SABADINI, Unambiguous regular trace languages, in Algebra, Combinatorics and Logic, (J. Demetrovics, G. Katona and A. Salomaa, eds), Col. Math. Soc. Janos Bolyay 42, North Holland, 1985"},{"key":"49_CR5","doi-asserted-by":"crossref","first-page":"66","DOI":"10.1002\/malq.19600060105","volume":"6","author":"J. R. B\u00fcchi","year":"1960","unstructured":"J.R. B\u00dcCHI, Weak Second Order Logic and Finite Automata. Z. Math. Logik Grundlagen Math.\n6, 1960, 66\u201392","journal-title":"Z. Math. Logik Grundlagen Math."},{"key":"49_CR6","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1090\/S0002-9947-1961-0139530-9","volume":"98","author":"C. C. Elgot","year":"1961","unstructured":"C.C. ELGOT, Decision problems of finite automata design and related arithmetics, Trans. Amer. Math. Soc.\n98, 1961, 21\u201352","journal-title":"Trans. Amer. Math. Soc."},{"key":"49_CR7","doi-asserted-by":"crossref","first-page":"285","DOI":"10.2140\/pjm.1966.16.285","volume":"16","author":"S. Ginsburg","year":"1966","unstructured":"S. GINSBURG, E.H. SPANIER, Semigroups, Presburber Formulas, and Languages, Pacific J. Math\n16, 1966, 285\u2013296","journal-title":"Pacific J. Math"},{"key":"49_CR8","doi-asserted-by":"crossref","first-page":"219","DOI":"10.2307\/2273878","volume":"52","author":"H. L\u00e4uchli","year":"1987","unstructured":"H. L\u00c4UCHLI, C. SAVIOZ, Monadic second order definable relations on the binary tree, J. of Symbolic Logic\n52, 1987, 219\u2013226","journal-title":"J. of Symbolic Logic"},{"key":"49_CR9","doi-asserted-by":"crossref","first-page":"24","DOI":"10.1016\/0021-8693(69)90015-5","volume":"12","author":"J. D. Mac Knight Jr.","year":"1969","unstructured":"J.D. Jr. Mac KNIGHT, A.J. STOREY, Equidivisible semigroups, J. of Algebra\n12, 1969, 24\u201348","journal-title":"J. of Algebra"},{"key":"49_CR10","volume-title":"Counter-free-Automata","author":"R. McNaughton","year":"1971","unstructured":"R. McNAUGHTON, S. PAPERT, Counter-free-Automata MIT Press, Cambridge Massachussets 1971"},{"key":"49_CR11","doi-asserted-by":"crossref","first-page":"393","DOI":"10.1016\/0022-0000(86)90037-1","volume":"32","author":"D. Perrin","year":"1986","unstructured":"D. PERRIN, J.-E. PIN, First order Logic and Star-Free Sets, J. Comput. System Sci.\n32, 1986, 393\u2013406","journal-title":"J. Comput. System Sci."},{"key":"49_CR12","unstructured":"J. SAKAROVITCH, The \u201dLast\u201d Decision Problem, Proceedings of LATIN'92, I. Simon (Ed.) LNCS 583, 460\u2013473"},{"key":"49_CR13","doi-asserted-by":"crossref","first-page":"360","DOI":"10.1016\/0022-0000(82)90016-2","volume":"25","author":"W. Thomas","year":"1982","unstructured":"W. THOMAS, Classifying Regular Events in Symbolic Logic, J. Comput. System Sci.\n25, 1982, 360\u2013376","journal-title":"J. Comput. System Sci."},{"key":"49_CR14","unstructured":"W. THOMAS, On logical definability of trace languages, Proceedings of the Workshop of the ASMICS Group held in Kochel am See, Tech. Report TUM I9002, Universit\u00e4t M\u00fcnchen, 1990"},{"key":"49_CR15","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1007\/3-540-52282-4_49","volume":"415","author":"W. Thomas","year":"1990","unstructured":"W. THOMAS, Infinite trees and automaton definable relations over \u03c9-words, Proceedings of the 7-th STACS Conference held in Rouen, Lecture Notes in Computer Science 415, 1990, 263\u2013279","journal-title":"Proceedings of the 7-th STACS Conference held in Rouen, Lecture Notes in Computer Science"}],"container-title":["Lecture Notes in Computer Science","STACS 93"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-56503-5_49.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T20:53:12Z","timestamp":1619556792000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-56503-5_49"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540565031","9783540475743"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-56503-5_49","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}