{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:17:31Z","timestamp":1750306651527,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":10,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,8,9]],"date-time":"2014-08-09T00:00:00Z","timestamp":1407542400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2014,8,9]]},"DOI":"10.1145\/2633374.2633380","type":"proceedings-article","created":{"date-parts":[[2014,7,29]],"date-time":"2014-07-29T12:29:52Z","timestamp":1406636992000},"page":"25-27","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Can we solve the pipeline problem?"],"prefix":"10.1145","author":[{"given":"Cristian S.","family":"Calude","sequence":"first","affiliation":[{"name":"University of Auckland, New Zealand"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alasdair","family":"Coull","sequence":"additional","affiliation":[{"name":"Weta Digital, Wellington, New Zealand"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J. P.","family":"Lewis","sequence":"additional","affiliation":[{"name":"Weta Digital, Wellington, New Zealand and Victoria University, Wellington, New Zealand"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2014,8,9]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Calude C. S. and Desfontaines D. 2014. Anytime algorithms for non-ending computations. U. Auckland CDMTCS Research Report 463."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.aam.2007.01.001"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/0096-3003(94)90158-9"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/572556"},{"volume-title":"Computability Theory","author":"Cooper S.","key":"e_1_3_2_1_5_1","unstructured":"Cooper, S. 2004. Computability Theory. Chapman Hall\/CRC, London."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","unstructured":"Garey M. R. and Johnson D. S. 1979. Computers and Intractability: A Guide to the Theory of NP-Completeness. W. H. Freeman & Co. New York NY USA.","DOI":"10.5555\/578533"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/332148.332154"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/505482.505490"},{"volume-title":"World Scientific","author":"Svozil K.","key":"e_1_3_2_1_9_1","unstructured":"Svozil, K. 1993. Randomness & Undecidability in Physics. World Scientific, Singapore."},{"key":"e_1_3_2_1_10_1","unstructured":"Wikipedia 2014. Proof assistant --- Wikipedia the free encyclopedia. Online: accessed 21 June."}],"event":{"name":"DigiPro '14: The Digital Production Symposium","sponsor":["SIGGRAPH ACM Special Interest Group on Computer Graphics and Interactive Techniques"],"location":"Vancouver British Columbia Canada","acronym":"DigiPro '14"},"container-title":["Proceedings of the Fourth Symposium on Digital Production"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2633374.2633380","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2633374.2633380","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T06:56:11Z","timestamp":1750229771000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2633374.2633380"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,8,9]]},"references-count":10,"alternative-id":["10.1145\/2633374.2633380","10.1145\/2633374"],"URL":"https:\/\/doi.org\/10.1145\/2633374.2633380","relation":{},"subject":[],"published":{"date-parts":[[2014,8,9]]},"assertion":[{"value":"2014-08-09","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}