{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T22:26:22Z","timestamp":1725575182313},"publisher-location":"Berlin, Heidelberg","reference-count":6,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540261797"},{"type":"electronic","value":"9783540322665"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11494645_16","type":"book-chapter","created":{"date-parts":[[2011,1,16]],"date-time":"2011-01-16T17:37:10Z","timestamp":1295199430000},"page":"128-128","source":"Crossref","is-referenced-by-count":0,"title":["Shrad: A Language for Sequential Real Number Computation"],"prefix":"10.1007","author":[{"given":"Amin","family":"Farjudian","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"16_CR1","unstructured":"Di Gianantonio, P.: A Functional Approach to Computability on Real Numbers. PhD thesis, Universit\u00e0 di Pisa-Genova-Udine (1993)"},{"key":"16_CR2","unstructured":"Escard\u00f3, M.H., Hofmann, M., Streicher, T.: Mediation is inherently parallel, University of Edinburgh, Laboratory for Foundations of Computer Science, EPSRC report for project GR\/M64840 (1998)"},{"key":"16_CR3","doi-asserted-by":"crossref","unstructured":"Escard\u00f3, M.H., Hofmann, M., Streicher, T.: On the non-sequential nature of the interval-domain model of exact real-number computation. Mathematical Structures in Computer Science (2004) (accepted for publication)","DOI":"10.1017\/S0960129504004360"},{"key":"16_CR4","doi-asserted-by":"crossref","unstructured":"Farjudian, A.: Sequentiality and piecewise affinity in fragments of Real-PCF. To Appear in ENTCS (2003)","DOI":"10.1016\/j.entcs.2004.08.002"},{"key":"16_CR5","unstructured":"Farjudian, A.: Conservativity of wRPCF over PCF. Unpublished Manuscript (2003)"},{"key":"16_CR6","unstructured":"Farjudian, A.: Sequentiality in Real Number Computation. PhD thesis, Dissertation, School of Computer Science, The University of Birmingham, UK (2004)"}],"container-title":["Lecture Notes in Computer Science","New Computational Paradigms"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11494645_16.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T19:59:14Z","timestamp":1605643154000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11494645_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540261797","9783540322665"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/11494645_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}