{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T20:40:17Z","timestamp":1742589617261,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540108283"},{"type":"electronic","value":"9783540387169"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1981]]},"DOI":"10.1007\/3-540-10828-9_59","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T17:26:52Z","timestamp":1330190812000},"page":"135-146","source":"Crossref","is-referenced-by-count":3,"title":["Easy solutions are hard to find"],"prefix":"10.1007","author":[{"given":"Stephen L.","family":"Bloom","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David B.","family":"Patterson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"9_CR1","doi-asserted-by":"crossref","unstructured":"E.G.Wagner, J.B.Wright, J.B.Thatcher, \"Rational algebraic theories and fixed point solutions\", Proc. 17th IEEE Symposium on Foundations of computing, Houston (1976), 147\u2013158.","DOI":"10.1109\/SFCS.1976.24"},{"key":"9_CR2","unstructured":"S.Arnold, M.Nivat, \"Metric interpretation of infinite trees and semantics of nondeterministic recursive programs\", Universite de Lille, No. I-T-3-78, 1978."},{"key":"9_CR3","unstructured":"S.L.Bloom, \"All solutions of a system of recursion equations in infinite trees and other contraction theories\", to appear in J. Comp. Syst. Sci."},{"issue":"3","key":"9_CR4","doi-asserted-by":"crossref","first-page":"525","DOI":"10.1137\/0209039","volume":"9","author":"S.L. Bloom","year":"1980","unstructured":"S.L. Bloom, C.C. Elgot, J.B. Wright, \"Vector iteration in pointed iterative theories\", SIAM J. Computing, Vol. 9, No. 3 (1980), 525\u2013540.","journal-title":"SIAM J. Computing"},{"key":"9_CR5","doi-asserted-by":"crossref","unstructured":"S.A.Cook, \"The complexity of theorem-proving procedures\", Proc. 3rd Ann. ACM Symp. Theory of Computing, ACM New York, 151\u2013158.","DOI":"10.1145\/800157.805047"},{"key":"9_CR6","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1016\/0304-3975(78)90008-7","volume":"6","author":"B. Courcelle","year":"1978","unstructured":"B. Courcelle, \"A representation of trees by languages, I,II\", Theoretical Comp. Sci 6 (1978), 255\u2013279; 7 (1978), 25\u201355.","journal-title":"Theoretical Comp. Sci"},{"issue":"3","key":"9_CR7","doi-asserted-by":"crossref","first-page":"362","DOI":"10.1016\/0022-0000(78)90024-7","volume":"16","author":"C.C. Elgot","year":"1978","unstructured":"C.C. Elgot, S.L. Bloom, R. Tindell, \"On the algebraic structure of rooted trees\", J. Comp. Sys. Sci, 16, No. 3 (1978), 362\u2013399.","journal-title":"J. Comp. Sys. Sci"},{"key":"9_CR8","unstructured":"Z.Manna, Mathematical Theory of Computation, McGraw-Hill, (1974)."},{"key":"9_CR9","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1007\/BF02485827","volume":"6","author":"J. Mycielski","year":"1976","unstructured":"J. Mycielski, W. Taylor, \"A compactification of the algebra of terms\", Algebra Universalis 6 (1976), 159\u2013163.","journal-title":"Algebra Universalis"},{"key":"9_CR10","first-page":"255","volume":"15","author":"M. Nivat","year":"1975","unstructured":"M. Nivat, \"On the interpreation of recursive polyadic program schemes\", Symp. Math. 15 (1975), 255\u2013281.","journal-title":"Symp. Math."}],"container-title":["Lecture Notes in Computer Science","CAAP '81"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-10828-9_59.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T20:12:44Z","timestamp":1742587964000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-10828-9_59"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1981]]},"ISBN":["9783540108283","9783540387169"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-10828-9_59","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1981]]}}}