{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:46:07Z","timestamp":1772163967197,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":13,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2006,9,16]]},"DOI":"10.1145\/1159803.1159827","type":"proceedings-article","created":{"date-parts":[[2006,10,18]],"date-time":"2006-10-18T18:04:00Z","timestamp":1161194640000},"page":"184-191","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["Equality of streams is a \u03a00 over 2-complete problem"],"prefix":"10.1145","author":[{"given":"Grigore","family":"Ro\u015fu","sequence":"first","affiliation":[{"name":"University of Illinois at Urbana-Champaign"}]}],"member":"320","published-online":{"date-parts":[[2006,9,16]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.5555\/280474"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/227683.227687"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(02)00865-4"},{"key":"e_1_3_2_1_4_1","series-title":"Electronic Notes in Theoretical Computer Science","first-page":"61","volume-title":"Proceedings of Coalgebraic Methods in Computer Science (CMCS'00)","author":"Buss S.","year":"2000","unstructured":"S. Buss and G. Ro\u015fu . Incompleteness of behavioral logics . In H. Reichel, editor, Proceedings of Coalgebraic Methods in Computer Science (CMCS'00) , Berlin, Germany, March 2000 , volume 33 of Electronic Notes in Theoretical Computer Science , pages 61 -- 79 . Elsevier Science , 2000.]] S. Buss and G. Ro\u015fu. Incompleteness of behavioral logics. In H. Reichel, editor, Proceedings of Coalgebraic Methods in Computer Science (CMCS'00), Berlin, Germany, March 2000, volume 33 of Electronic Notes in Theoretical Computer Science, pages 61--79. Elsevier Science, 2000.]]"},{"key":"e_1_3_2_1_5_1","first-page":"193","volume-title":"Informal Proceedings Workshop on Types for Proofs and Programs","author":"Geuvers H.","year":"1992","unstructured":"H. Geuvers . Inductive and coinductive types with iteration and recursion. In B. Nordstr\u00f6m, K. Pettersson, and G. Plotkin, editors , Informal Proceedings Workshop on Types for Proofs and Programs , B\u00e5stad, Sweden , 8-12 June 1992 , pages 193 -- 217 . Dept. of Computing Science, Chalmers Univ. of Technology and G\u00f6teborg Univ., 1992.]] H. Geuvers. Inductive and coinductive types with iteration and recursion. In B. Nordstr\u00f6m, K. Pettersson, and G. Plotkin, editors, Informal Proceedings Workshop on Types for Proofs and Programs, B\u00e5stad, Sweden, 8-12 June 1992, pages 193--217. Dept. of Computing Science, Chalmers Univ. of Technology and G\u00f6teborg Univ., 1992.]]"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"crossref","first-page":"357","DOI":"10.1093\/oso\/9780198537601.003.0014","volume-title":"Topology and Category Theory in Computer Science","author":"Goguen J.","year":"1991","unstructured":"J. Goguen . Types as theories. In G.M. Reed, A.W. Roscoe, and R.F. Wachter, editors , Topology and Category Theory in Computer Science , pages 357 -- 390 . Oxford , 1991 .]] J. Goguen. Types as theories. In G.M. Reed, A.W. Roscoe, and R.F. Wachter, editors, Topology and Category Theory in Computer Science, pages 357--390. Oxford, 1991.]]"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(99)00275-3"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01642507"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1995.1075"},{"key":"e_1_3_2_1_11_1","volume-title":"Technical Report UIUCDCS-R-2006-2708","author":"Ro\u015fu G.","year":"2006","unstructured":"G. Ro\u015fu . Equality of streams is a \u03a0 0 over 2-complete problem. Technical Report UIUCDCS-R-2006-2708 , University of Illinois at Urbana-Champaign , Department of Computer Science, Apr. 2006 .]] G. Ro\u015fu. Equality of streams is a \u03a0 0 over 2-complete problem. Technical Report UIUCDCS-R-2006-2708, University of Illinois at Urbana-Champaign, Department of Computer Science, Apr. 2006.]]"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.5555\/647938.741246"},{"key":"e_1_3_2_1_13_1","volume-title":"Theory of Recursive Functions and Effective Computability","author":"Jr H. Rogers","year":"1987","unstructured":"H. Rogers Jr . Theory of Recursive Functions and Effective Computability . MIT press , Cambridge, MA , 1987 .]] H. Rogers Jr. Theory of Recursive Functions and Effective Computability. MIT press, Cambridge, MA, 1987.]]"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2005.06.019"}],"event":{"name":"ICFP06: ACM SIGPLAN International Conference on Functional Programming","location":"Portland Oregon USA","acronym":"ICFP06","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"]},"container-title":["Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1159803.1159827","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,7]],"date-time":"2024-02-07T13:16:56Z","timestamp":1707311816000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1159803.1159827"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,9,16]]},"references-count":13,"alternative-id":["10.1145\/1159803.1159827","10.1145\/1159803"],"URL":"https:\/\/doi.org\/10.1145\/1159803.1159827","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1160074.1159827","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2006,9,16]]},"assertion":[{"value":"2006-09-16","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}