{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:22:39Z","timestamp":1725456159131},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540600176"},{"type":"electronic","value":"9783540494041"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/bfb0022254","type":"book-chapter","created":{"date-parts":[[2005,11,22]],"date-time":"2005-11-22T01:12:29Z","timestamp":1132621949000},"page":"163-176","source":"Crossref","is-referenced-by-count":1,"title":["Monadic second-order logic and linear orderings of finite structures"],"prefix":"10.1007","author":[{"given":"Bruno","family":"Courcelle","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,15]]},"reference":[{"key":"12_CR1","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(88)90051-5","volume":"60","author":"I. Aalbersberg","year":"1988","unstructured":"AALBERSBERG I., ROZENBERG G., Theory of traces, Theoret. Comput. Sci. 60(1988)1\u201382.","journal-title":"Theoret. Comput. Sci."},{"key":"12_CR2","unstructured":"AHO A., HOPCROFT J., ULLMAN J., The design and analysis of computer algorithms, Adison-Wesley, 1974."},{"key":"12_CR3","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1006\/inco.1993.1052","volume":"106","author":"R. Cori","year":"1993","unstructured":"CORI R., METIVIER Y., ZIELONKA W., Asynchronous mappings and asynchronous cellular automata, Information and Computation 106(1993) 159\u2013203.","journal-title":"Information and Computation"},{"key":"12_CR4","doi-asserted-by":"publisher","first-page":"12","DOI":"10.1016\/0890-5401(90)90043-H","volume":"85","author":"B. Courcelle","year":"1990","unstructured":"COURCELLE B., The monadic second-order logic of graphs I: Recognizable sets of finite graphs. Information and Computation 85 (1990) 12\u201375.","journal-title":"Information and Computation"},{"key":"12_CR5","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1016\/0304-3975(91)90387-H","volume":"80","author":"B. Courcelle","year":"1991","unstructured":"COURCELLE B., The monadic second-order logic of graphs V: On closing the gap beween definability and recorgnizability, Theoret. Comput. Sci. 80 (1991) 153\u2013202.","journal-title":"Theoret. Comput. Sci."},{"key":"12_CR6","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1016\/0166-218X(94)90019-1","volume":"54","author":"B. Courcelle","year":"1994","unstructured":"COURCELLE B., The monadic second-order logic of graphs VI: On several representations of graphs by relational structures, Discrete Applied Mathematics, 54 (1994)117\u2013149.","journal-title":"Discrete Applied Mathematics"},{"key":"12_CR7","doi-asserted-by":"crossref","unstructured":"COURCELLE B., The monadic second-order logic of graphs VIII: Orientations, Annals Pure Applied Logic, 72(2)(1995).","DOI":"10.1016\/0168-0072(95)94698-V"},{"key":"12_CR8","doi-asserted-by":"crossref","unstructured":"COURCELLE B., The monadic second-order logic of graphs X: Linear orderings, http:\/\/www.labri.u-bordeaux.fr\/\u223ccourcell\/ActSci.html, May 1994","DOI":"10.1007\/BFb0022254"},{"key":"12_CR9","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1016\/0304-3975(94)90268-2","volume":"126","author":"B. Courcelle","year":"1994","unstructured":"COURCELLE B., Monadic second-order definable graph transductions: a survey, Theoret. Comput. Sci. 126(1994) 53\u201375.","journal-title":"Theoret. Comput. Sci."},{"key":"12_CR10","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1017\/S0960129500000359","volume":"4","author":"B. Courcelle","year":"1994","unstructured":"COURCELLE B., Recognizable sets of graphs: equivalent definitions and closure properties, Math. Str. Comp. Sci. 4(1994) 1\u201332.","journal-title":"Math. Str. Comp. Sci."},{"key":"12_CR11","first-page":"413","volume":"841","author":"H. Hoogeboom","year":"1994","unstructured":"HOOGEBOOM H., ten PAS P., Recognizable text languages, MFCS 1994, LNCS 841 (1994)413\u2013422.","journal-title":"LNCS"},{"key":"12_CR12","first-page":"56","volume":"27","author":"E. Ochmanski","year":"1985","unstructured":"OCHMANSKI E., Regular behaviour of concurrent systems, Bull. of EATCS 27(1985) 56\u201367.","journal-title":"Bull. of EATCS"},{"key":"12_CR13","doi-asserted-by":"crossref","first-page":"275","DOI":"10.1016\/0012-365X(84)90164-X","volume":"49","author":"A. Proskurowski","year":"1984","unstructured":"PROSKUROWSKI A., Separating subgraphs in \u03ba-trees: cables and caterpillars, Discrete Maths 49 (1984) 275\u2013285.","journal-title":"Discrete Maths"},{"key":"12_CR14","doi-asserted-by":"crossref","unstructured":"THOMAS W., Automata on infinite objects, in \u201cHandbook of Theoretical Computer Science, Volume B\u201d, J. Van Leeuwen ed., Elsevier, 1990, pp.133\u2013192.","DOI":"10.1016\/B978-0-444-88074-1.50009-3"},{"key":"12_CR15","unstructured":"THOMAS W., On logical definability of trace languages, Proce-edings of a workshop held in Kochel in October 1989, V. Diekert ed., Report of Technische Universit\u00e4t M\u00fcnchen I-9002, 1990, pp. 172\u2013182."}],"container-title":["Lecture Notes in Computer Science","Computer Science Logic"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0022254","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,10]],"date-time":"2020-04-10T22:43:16Z","timestamp":1586558596000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0022254"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540600176","9783540494041"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/bfb0022254","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}