{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T16:30:20Z","timestamp":1725467420149},"publisher-location":"Berlin, Heidelberg","reference-count":10,"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_98","type":"book-chapter","created":{"date-parts":[[2006,7,17]],"date-time":"2006-07-17T14:17:05Z","timestamp":1153145825000},"page":"351-367","source":"Crossref","is-referenced-by-count":0,"title":["The obstructions of a minor-closed set of graphs defined by hyperedge replacement can be constructed"],"prefix":"10.1007","author":[{"given":"B.","family":"Courcelle","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"G.","family":"S\u00e9nizergues","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,9,7]]},"reference":[{"key":"24_CR1","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1007\/BF01692060","volume":"20","author":"M. Bauderon","year":"1987","unstructured":"M. Bauderon and B. Courcelle. Graph expressions and graph rewritings. Mathematical System Theory 20, pages 83\u2013127, 1987.","journal-title":"Mathematical System Theory"},{"key":"24_CR2","doi-asserted-by":"crossref","first-page":"12","DOI":"10.1016\/0890-5401(90)90043-H","volume":"85","author":"B. Courcelle","year":"1990","unstructured":"B. Courcelle. The monadic second-order logic of graphs I: Recognizable sets of finite graphs. Information and Computation 85, pages 12\u201375, 1990.","journal-title":"Information and Computation"},{"key":"24_CR3","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1016\/0304-3975(91)90387-H","volume":"80","author":"B. Courcelle","year":"1991","unstructured":"B. Courcelle. The monadic second-order logic of graphs V: On closing the gap between definability and recognizability. Theoretical Computer Science 80, pages 153\u2013202, 1991.","journal-title":"Theoretical Computer Science"},{"key":"24_CR4","first-page":"178","volume":"44","author":"B. Courcelle","year":"1991","unstructured":"B. Courcelle. On constructing obstuction sets of words. Bulletin of EATCS 44, pages 178\u2013185, 1991.","journal-title":"Bulletin of EATCS"},{"key":"24_CR5","doi-asserted-by":"crossref","first-page":"257","DOI":"10.1051\/ita\/1992260302571","volume":"26","author":"B. Courcelle","year":"1992","unstructured":"B. Courcelle. The monadic second-order logic of graphs III:Tree-decompositions, minors and complexity issues. RAIRO Informatique Th\u00e9orique et Applications 26, pages 257\u2013286, 1992.","journal-title":"RAIRO Informatique Th\u00e9orique et Applications"},{"doi-asserted-by":"crossref","unstructured":"B. Courcelle. Graph grammars, monadic second-order logic and the theory of graph minors. in N.Robertson and P.Seymour eds., Contemporary Mathematics 147, American Mathematical Society, pages 565\u2013590, 1993.","key":"24_CR6","DOI":"10.1090\/conm\/147\/01200"},{"doi-asserted-by":"crossref","unstructured":"M. Fellows and M. Langston. An analogue of the Myhill-Nerode theorem and its use in computing finite basis characterizations. Proceedings 30th Symp. FOCS, pages 520\u2013525, 1989.","key":"24_CR7","DOI":"10.1109\/SFCS.1989.63528"},{"unstructured":"A. Habel. Hyperedge Replacement:Grammars and languages. Lectures Notes in Comput.Sc.,vol. 643, Springer, 1993.","key":"24_CR8"},{"unstructured":"N. Robertson and P. Seymour. Graph minors xx: Wagner's conjecture. preprint, 1988.","key":"24_CR9"},{"unstructured":"N. Robertson, P. Seymour, and R. Thomas. Quickly excluding a planar graph, preprint, 1990.","key":"24_CR10"}],"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_98","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,20]],"date-time":"2019-04-20T02:02:11Z","timestamp":1555725731000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61228-9_98"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540612285","9783540683889"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-61228-9_98","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}