{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:56:24Z","timestamp":1725663384581},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540507284"},{"type":"electronic","value":"9783540460763"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1989]]},"DOI":"10.1007\/3-540-50728-0_35","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T15:33:24Z","timestamp":1330184004000},"page":"54-73","source":"Crossref","is-referenced-by-count":6,"title":["On systems of equations defining infinite graphs"],"prefix":"10.1007","author":[{"given":"Michel","family":"Bauderon","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"4_CR1","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1016\/0022-0000(79)90026-6","volume":"19","author":"J. Adamek","year":"1979","unstructured":"ADAMEK J., KOUBEK V., Least fixed points of a functor, J. Comput. System Sci. 19 (1979) 163\u2013178","journal-title":"J. Comput. System Sci."},{"key":"4_CR2","unstructured":"BAUDERON M., Infinite hypergraphs, Research Report, Bordeaux, 1988"},{"key":"4_CR3","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1007\/BF01692060","volume":"20","author":"M. Bauderon","year":"1987","unstructured":"BAUDERON M., COURCELLE M., Graph expressions and graph rewritings, Math. Systems Theory 20, 83\u2013127 (1987)","journal-title":"Math. Systems Theory"},{"key":"4_CR4","unstructured":"CAUCAL D., Pattern graphs, Research report, Rennes 1988"},{"issue":"4","key":"4_CR5","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1051\/ita\/1978120403191","volume":"12","author":"B. Courcelle","year":"1978","unstructured":"COURCELLE B., Frontiers of infinite trees, RAIRO, Informatique th\u00e9orique, vol 12, no4, 1978, 319\u2013337","journal-title":"Informatique th\u00e9orique"},{"key":"4_CR6","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1016\/0304-3975(83)90059-2","volume":"25","author":"B. Courcelle","year":"1983","unstructured":"COURCELLE B., Fundamental properties of infinite trees, Theor. Com. Sci. 25 (1983), 95\u2013169.","journal-title":"Theor. Com. Sci."},{"key":"4_CR7","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0304-3975(86)90050-2","volume":"42","author":"B. Courcelle","year":"1986","unstructured":"COURCELLE B., Equivalences and transformations of regular systems. Applications to recursive program schemes and grammars, Theor. Comp. Sci. 42 (1986) 1\u2013122.","journal-title":"Theor. Comp. Sci."},{"key":"4_CR8","unstructured":"COURCELLE B. The monadic 2nd order theory of graphs IV: every equational graph is definable, Research report 8830, Bordeaux 1988"},{"key":"4_CR9","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1007\/BFb0039608","volume":"247","author":"A Habel","year":"1987","unstructured":"HABEL A, KREOWSKY H-J., Some structural aspects of hypergraph languages generated by hyperedge replacement, Lect. Not. Comp. Sci; 247, 207\u2013219 (1987) and May we introduce to you: hyperedge replacement, Lect Not. Comp. Sci., 291, 15-2-, 1987","journal-title":"Lect. Not. Comp. Sci"},{"key":"4_CR10","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1007\/BF01110627","volume":"103","author":"J. Lambek","year":"1968","unstructured":"LAMBEK, J., A fixpoint theorem for complete category, Math. Z. 103 (1968), 151\u2013161","journal-title":"Math. Z."},{"key":"4_CR11","doi-asserted-by":"crossref","unstructured":"LEHMANN D.J., Categories for fixpoint semantics, 17th symposium on Foundations of Computer Science, Houston 1976, 122\u2013126","DOI":"10.1109\/SFCS.1976.9"},{"key":"4_CR12","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1007\/BF01752392","volume":"14","author":"D.J. Lehmann","year":"1981","unstructured":"LEHMANN D.J., SMYTH M.B., Algebraic specification of data types, Math. Systems Theory 14 (1981) 97\u2013139","journal-title":"Math. Systems Theory"},{"key":"4_CR13","doi-asserted-by":"crossref","first-page":"138","DOI":"10.1007\/3540185356_36","volume":"281","author":"A Lindenmayer","year":"1987","unstructured":"LINDENMAYER A, Models for multicellular development: characterization, inference and complexity of L-systems, in Trends, techniques and problems in Theoretical Computer Science, Lect. Not. Comp. Sci. 281, 1987, 138\u2013168","journal-title":"Lect. Not. Comp. Sci."},{"key":"4_CR14","doi-asserted-by":"crossref","unstructured":"MANES E., Algebraic theories, Springer-Verlag 1976","DOI":"10.1007\/978-1-4612-9860-1"},{"key":"4_CR15","doi-asserted-by":"crossref","unstructured":"McLANE S., Category for the working mathematician, Springer-Verlag 1971","DOI":"10.1007\/978-1-4612-9839-7"},{"key":"4_CR16","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1016\/0304-3975(85)90087-8","volume":"37","author":"D. Muller","year":"1985","unstructured":"MULLER D., SCHUPP P, The theory of ends, pushdown automata and second-order logic, Theor. Comp. Sci. 37 (1985) 51\u201375","journal-title":"Theor. Comp. Sci."},{"key":"4_CR17","doi-asserted-by":"crossref","unstructured":"PLOTKIN G., SMYTH M.B., The category theoretic solution to recursive domain equations, SIAM J. Comput. Vol. 11, No 4 (1982)","DOI":"10.1137\/0211062"},{"key":"4_CR18","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1016\/0022-0000(78)90048-X","volume":"16","author":"M.B. Smyth","year":"1978","unstructured":"SMYTH M.B., Powerdomains, Journ of Comp. and Syst. Sci., 16, 1978, 23\u201336","journal-title":"Journ of Comp. and Syst. Sci."}],"container-title":["Lecture Notes in Computer Science","Graph-Theoretic Concepts in Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-50728-0_35.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:18:44Z","timestamp":1605629924000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-50728-0_35"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989]]},"ISBN":["9783540507284","9783540460763"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-50728-0_35","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1989]]}}}