{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T16:29:49Z","timestamp":1725467389331},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540612285"},{"type":"electronic","value":"9783540683889"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61228-9_107","type":"book-chapter","created":{"date-parts":[[2006,7,17]],"date-time":"2006-07-17T14:17:05Z","timestamp":1153145825000},"page":"487-501","source":"Crossref","is-referenced-by-count":0,"title":["The definition in monadic second-order logic of modular decompositions of ordered graphs"],"prefix":"10.1007","author":[{"given":"Bruno","family":"Courcelle","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,9,7]]},"reference":[{"key":"33_CR1","first-page":"68","volume":"787","author":"A. Cournier","year":"1994","unstructured":"COURNIER A., HABIB M., A new linear algorithm for modular decomposition, Proceedings of CAAP'94, LNCS 787 (1994) 68\u201394.","journal-title":"LNCS"},{"doi-asserted-by":"crossref","unstructured":"COURCELLE B., On recognizable sets and tree automata, in \u201cResolution of equations in Algebraic Structures, Vol.1\u201d, M. Nivat and H. Ait-Kaci eds., Acadamic Press 1989, pp. 93\u2013126.","key":"33_CR2","DOI":"10.1016\/B978-0-12-046370-1.50009-7"},{"key":"33_CR3","doi-asserted-by":"crossref","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":"33_CR4","doi-asserted-by":"crossref","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":"33_CR5","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1016\/0168-0072(95)94698-V","volume":"72","author":"B. Courcelle","year":"1995","unstructured":"COURCELLE B., The monadic second-order logic of graphs VIII: Orientations, Annals Pure Applied Logic, 72 (1995) 103\u2013143.","journal-title":"Annals Pure Applied Logic"},{"key":"33_CR6","doi-asserted-by":"crossref","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."},{"unstructured":"COURCELLE B., The monadic second-order logic of graphs X: Linear orders, 1994, to appear in Theoret. Comput. Sci. in 1996, (see also http:\/\/www.labri.u-bordeaux.fr \/\u223ccourcell).","key":"33_CR7"},{"key":"33_CR8","doi-asserted-by":"crossref","first-page":"275","DOI":"10.1006\/inco.1995.1020","volume":"116","author":"B. Courcelle","year":"1995","unstructured":"COURCELLE B., Structural properties of context-free sets of graphs generated by vertex-replacement, Information and Computation 116(1995) 275\u2013293.","journal-title":"Information and Computation"},{"key":"33_CR9","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. Struct. in Comp. Sci. 4(1994) 1\u201332.","journal-title":"Math. Struct. in Comp. Sci."},{"key":"33_CR10","doi-asserted-by":"crossref","first-page":"305","DOI":"10.1016\/0304-3975(90)90130-A","volume":"70","author":"A. Ehrenfeucht","year":"1990","unstructured":"EHRENFEUCHT A., ROZENBERG G., Theory of 2-structures. Part 2. Representations through labeled tree families, Theoret. Comput. Sci. 70(1990) 305\u2013342.","journal-title":"Theoret. Comput. Sci."},{"key":"33_CR11","first-page":"413","volume":"841","author":"H. Hoogeboom","year":"1994","unstructured":"HOOGEBOOM H., ten PAS P., Recognizable text languages, Proceedings of MFCS 1994, LNCS 841 (1994) 413\u2013422.","journal-title":"LNCS"},{"key":"33_CR12","first-page":"396","volume":"710","author":"A. Potthof","year":"1993","unstructured":"POTTHOF A., THOMAS W., Regular tree languages without unary symbols are star-free, Proceedings FCT '93, LNCS 710 (1993) 396\u2013405.","journal-title":"LNCS"},{"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.","key":"33_CR13","DOI":"10.1016\/B978-0-444-88074-1.50009-3"},{"unstructured":"THOMAS W., On logical definability of trace languages, Proceedings of a workshop held in Kochel in October 1989, V. Diekert ed., Report of \u201cTechnische Universit\u00e4t M\u00fcnchen \u201d I-9002, 1990, pp. 172\u2013182.","key":"33_CR14"}],"container-title":["Lecture Notes in Computer Science","Graph Grammars and Their Application to Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61228-9_107","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,6]],"date-time":"2019-02-06T11:57:35Z","timestamp":1549454255000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61228-9_107"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540612285","9783540683889"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-61228-9_107","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}