{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:28:11Z","timestamp":1725568091467},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540290674"},{"type":"electronic","value":"9783540334989"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11558958_20","type":"book-chapter","created":{"date-parts":[[2006,2,23]],"date-time":"2006-02-23T15:02:16Z","timestamp":1140706936000},"page":"179-188","source":"Crossref","is-referenced-by-count":1,"title":["The Distributed Interval Geometric Machine Model"],"prefix":"10.1007","author":[{"given":"Renata H. S.","family":"Reiser","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ant\u00f4nio C. R.","family":"Costa","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gra\u00e7aliz P.","family":"Dimuro","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"2","key":"20_CR1","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1023\/A:1009913122021","volume":"6","author":"G.P. Dimuro","year":"2000","unstructured":"Dimuro, G.P., Costa, A.C.R., Claudio, D.M.: A Coherence Space of Rational Intervals for a Construction of IR. Reliable Computing\u00a06(2), 139\u2013178 (2000)","journal-title":"Reliable Computing"},{"key":"20_CR2","first-page":"187","volume":"1","author":"J.-Y. Girard","year":"1987","unstructured":"Girard, J.-Y.: Linear logic. Theoretical Computer Science\u00a01, 187\u2013212 (1987)","journal-title":"Theoretical Computer Science"},{"key":"20_CR3","doi-asserted-by":"crossref","DOI":"10.1137\/1.9781611970906","volume-title":"Methods and Applications of Interval Analysis","author":"R.E. Moore","year":"1979","unstructured":"Moore, R.E.: Methods and Applications of Interval Analysis. SIAM Publ., Philadelphia (1979)"},{"issue":"1","key":"20_CR4","first-page":"183","volume":"3","author":"R.H.S. Reiser","year":"2002","unstructured":"Reiser, R.H.S., Costa, A.C.R., Dimuro, G.P.: First steps in the construction of the Geometric Machine. TEMA. RJ: SBMAC\u00a03(1), 183\u2013192 (2002)","journal-title":"TEMA. RJ: SBMAC"},{"key":"20_CR5","doi-asserted-by":"publisher","first-page":"357","DOI":"10.1023\/B:NUMA.0000049481.94703.00","volume":"37","author":"R.H.S. Reiser","year":"2004","unstructured":"Reiser, R.H.S., Costa, A.C.R., Dimuro, G.P.: The Interval Geometric Machine. Numerical Algorithms\u00a037, 357\u2013366 (2004)","journal-title":"Numerical Algorithms"},{"key":"20_CR6","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S1571-0661(04)80852-1","volume":"84","author":"R.H.S. Reiser","year":"2003","unstructured":"Reiser, R.H.S., Costa, A.C.R., Dimuro, G.P.: A Programming Language for the Interval Geometric Machine Model. Electronic Notes in Theoretical Computer Science\u00a084, 1\u201312 (2003)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"20_CR7","first-page":"95","volume":"101","author":"R.H.S. Reiser","year":"2003","unstructured":"Reiser, R.H.S., Costa, A.C.R., Dimuro, G.P.: Programming in the Geometric Machine. Frontiers in Artificial Intelligence and Its Applications\u00a0101, 95\u2013102 (2003)","journal-title":"Frontiers in Artificial Intelligence and Its Applications"},{"key":"20_CR8","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1016\/S0022-0000(67)80014-X","volume":"1","author":"D. Scott","year":"1967","unstructured":"Scott, D.: Some Definitional Suggestions for Automata Theory. Journal of Computer and System Sciences\u00a01, 187\u2013212 (1967)","journal-title":"Journal of Computer and System Sciences"},{"key":"20_CR9","doi-asserted-by":"crossref","unstructured":"Scott, D.: The lattice of flow diagrams, Lecture Notes. Berlin: Springer Verlag\u00a0188, 311\u2013372 (1971)","DOI":"10.1007\/BFb0059703"},{"key":"20_CR10","first-page":"474","volume-title":"Set Theory and Logic","author":"R.R. Stoll","year":"1961","unstructured":"Stoll, R.R.: Set Theory and Logic, p. 474. Dover Publication Inc., New York (1961)"},{"key":"20_CR11","unstructured":"Troelstra, S.: Lectures on Linear Logic, Lecture Notes. Stanford: CSLI\/Leland Stanford Junior University\u00a029 (1992)"}],"container-title":["Lecture Notes in Computer Science","Applied Parallel Computing. State of the Art in Scientific Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11558958_20.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:10:50Z","timestamp":1619507450000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11558958_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540290674","9783540334989"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/11558958_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}