{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T22:26:11Z","timestamp":1725575171396},"publisher-location":"Berlin, Heidelberg","reference-count":16,"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_48","type":"book-chapter","created":{"date-parts":[[2011,1,16]],"date-time":"2011-01-16T17:37:10Z","timestamp":1295199430000},"page":"385-395","source":"Crossref","is-referenced-by-count":0,"title":["Domain-Theoretic Formulation of Linear Boundary Value Problems"],"prefix":"10.1007","author":[{"given":"Dirk","family":"Pattinson","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"48_CR1","doi-asserted-by":"crossref","unstructured":"Abramsky, S., Jung, A.: Domain Theory. In: Abramsky, S., Gabbay, D., Maibaum, T.S.E. (eds.) Handbook of Logic in Computer Science, vol.\u00a03. Clarendon Press, Oxford (1994)","DOI":"10.1093\/oso\/9780198537625.001.0001"},{"key":"48_CR2","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1016\/0304-3975(95)00050-7","volume":"151","author":"A. Edalat","year":"1995","unstructured":"Edalat, A.: Domain theory and integration. Theor. Comp. Sci.\u00a0151, 163\u2013193 (1995)","journal-title":"Theor. Comp. Sci."},{"issue":"4","key":"48_CR3","doi-asserted-by":"publisher","first-page":"401","DOI":"10.2307\/421098","volume":"3","author":"A. Edalat","year":"1997","unstructured":"Edalat, A.: Domains for computation in mathematics, physics and exact real arithmetic. Bulletin of Symbolic Logic\u00a03(4), 401\u2013452 (1997)","journal-title":"Bulletin of Symbolic Logic"},{"key":"48_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"90","DOI":"10.1007\/3-540-48523-6_7","volume-title":"Automata, Languages and Programming","author":"A. Edalat","year":"1999","unstructured":"Edalat, A., Krznaric, M.: Numerical integration with exact arithmetic. In: Wiedermann, J., Van Emde Boas, P., Nielsen, M. (eds.) ICALP 1999. LNCS, vol.\u00a01644, p. 90. Springer, Heidelberg (1999)"},{"key":"48_CR5","doi-asserted-by":"crossref","unstructured":"Edalat, A., Krznari\u0107, M., Lieutier, A.: Domain-theoretic solution of differential equations (scalar fields). In: Proceedings of MFPS XIX. Elect. Notes in Theoret. Comput. Sci., vol.\u00a083 (2004)","DOI":"10.1016\/S1571-0661(03)50005-6"},{"key":"48_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"505","DOI":"10.1007\/978-3-540-31982-5_32","volume-title":"Foundations of Software Science and Computational Structures","author":"A. Edalat","year":"2005","unstructured":"Edalat, A., Lieutier, A., Pattinson, D.: A computational model for differentiable functions. In: Sassone, V. (ed.) FOSSACS 2005. LNCS, vol.\u00a03441, pp. 505\u2013519. Springer, Heidelberg (2005) (to appear)"},{"key":"48_CR7","unstructured":"Edalat, A., Pattinson, D.: A domain theoretic account of euler\u2019s method for solving initial value problems (sumitted), available at: http:\/\/www.ifi.lmu.de\/~pattinso\/Publications\/"},{"key":"48_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"494","DOI":"10.1007\/978-3-540-27836-8_43","volume-title":"Automata, Languages and Programming","author":"A. Edalat","year":"2004","unstructured":"Edalat, A., Pattinson, D.: A domain theoretic account of picard\u2019s theorem. In: D\u00edaz, J., Karhum\u00e4ki, J., Lepist\u00f6, A., Sannella, D. (eds.) ICALP 2004. LNCS, vol.\u00a03142, pp. 494\u2013505. Springer, Heidelberg (2004)"},{"key":"48_CR9","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/S0304-3975(98)00097-8","volume":"210","author":"A. Edalat","year":"1998","unstructured":"Edalat, A., S\u00fcnderhauf, P.: A domain theoretic approach to computability on the real line. Theoretical Computer Science\u00a0210, 73\u201398 (1998)","journal-title":"Theoretical Computer Science"},{"issue":"1\u20132","key":"48_CR10","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1016\/S0166-8641(97)00226-5","volume":"89","author":"T. Erker","year":"1998","unstructured":"Erker, T., Esacrd\u00f2, M., Keimel, K.: The way-below relation of function spaces over semantic domains. Topology and its Applications\u00a089(1\u20132), 61\u201374 (1998)","journal-title":"Topology and its Applications"},{"key":"48_CR11","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511542725","volume-title":"Continuous Lattices and Domains","author":"G. Gierz","year":"2003","unstructured":"Gierz, G., Hofmann, K.H., Keimel, K., Lawson, J.D., Mislove, M., Scott, D.: Continuous Lattices and Domains. Cambridge University Press, Cambridge (2003)"},{"key":"48_CR12","first-page":"74","volume-title":"Topics In Interval Analysis","author":"E. Hansen","year":"1969","unstructured":"Hansen, E.: On solving two-point boundary-value problems using interval arithmetic. In: Hansen, E. (ed.) Topics In Interval Analysis, pp. 74\u201390. Oxford University Press, Oxford (1969)"},{"key":"48_CR13","series-title":"Cambridge Texts in Applied Mathematics","volume-title":"Numerical Analysis of Differential Equations","author":"A. Iserles","year":"1996","unstructured":"Iserles, A.: Numerical Analysis of Differential Equations. Cambridge Texts in Applied Mathematics. Cambridge University Press, Cambridge (1996)"},{"key":"48_CR14","volume-title":"Interval Analysis","author":"R.E. Moore","year":"1966","unstructured":"Moore, R.E.: Interval Analysis. Prentice-Hall, Englewood Cliffs (1966)"},{"key":"48_CR15","doi-asserted-by":"publisher","first-page":"382","DOI":"10.1137\/0711033","volume":"11","author":"F.A. Oliveira","year":"1974","unstructured":"Oliveira, F.A.: Interval analysis and two-point boundary value problems. SIAM J. Numer. Anal.\u00a011, 382\u2013391 (1974)","journal-title":"SIAM J. Numer. Anal."},{"key":"48_CR16","series-title":"Cambridge Tracts in Theoretical Computer Science","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139166386","volume-title":"Mathematical Theory of Domains","author":"V. Stoltenberg-Hansen","year":"1994","unstructured":"Stoltenberg-Hansen, V., Lindstr\u00f6m, I., Griffor, E.: Mathematical Theory of Domains. Cambridge Tracts in Theoretical Computer Science, vol.\u00a022. Cambridge University Press, Cambridge (1994)"}],"container-title":["Lecture Notes in Computer Science","New Computational Paradigms"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11494645_48.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,3]],"date-time":"2024-04-03T05:29:27Z","timestamp":1712122167000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11494645_48"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540261797","9783540322665"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/11494645_48","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}