{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:03:41Z","timestamp":1725663821042},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540573227"},{"type":"electronic","value":"9783540480631"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-57322-4_13","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T12:48:35Z","timestamp":1330260515000},"page":"188-194","source":"Crossref","is-referenced-by-count":0,"title":["A type-coercion problem in computer algebra"],"prefix":"10.1007","author":[{"given":"Andreas","family":"Weber","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"issue":"7","key":"13_CR1","doi-asserted-by":"crossref","first-page":"56","DOI":"10.1145\/960114.29656","volume":"22","author":"R. S. Sutor","year":"1987","unstructured":"R. S. Sutor and R. D. Jenks. The type inference and coercion facilities in the Scratchpad II interpreter. ACM SIGPLAN Notices, 22(7):56\u201363, 1987. SIGPLAN '87 Symposium on Interpreters and Interpretive Techniques.","journal-title":"ACM SIGPLAN Notices"},{"key":"13_CR2","first-page":"40","volume-title":"Scratchpad's view of algebra I: Basic commutative algebra","author":"J. H. Davenport","year":"1990","unstructured":"J. H. Davenport and B. M. Trager. Scratchpad's view of algebra I: Basic commutative algebra. In Miola [10]., pages 40\u201354."},{"issue":"11","key":"13_CR3","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1145\/960112.28724","volume":"21","author":"S. K. Abdali","year":"1986","unstructured":"S. K. Abdali, G. W. Cherry, and N. Soiffer. A Smalltak system for algebraic manipulation. ACM SIGPLAN Notices, 21(11):277\u2013283, November 1986. OOPSLA '86 Conference Proceedings, Portland, Oregon.","journal-title":"ACM SIGPLAN Notices"},{"key":"13_CR4","doi-asserted-by":"crossref","unstructured":"D. L. Rector. Semantics in algebraic computation. In E. Kaltofen and S. M. Watt, editors, Computers and Mathematics, pages 299\u2013307, Massachusetts Institute of Technology, June 1989. Springer-Verlag.","DOI":"10.1007\/978-1-4613-9647-5_34"},{"key":"13_CR5","unstructured":"G. Baumgartner and R. Stansifer. A proposal to study type systems for computer algebra. Technical Report 90-07.0, Research Institute for Symbolic Computation Linz, A-4040 Linz, Austria, March 1990."},{"key":"13_CR6","doi-asserted-by":"crossref","first-page":"349","DOI":"10.1016\/S0747-7171(08)80110-1","volume":"11","author":"H. Comon","year":"1991","unstructured":"H. Comon, D. Lugiez, and Ph. Schnoebelen. A rewrite-based type discipline for a subset of computer algebra. Journal of Symbolic Computation, 11:349\u2013368, 1991.","journal-title":"Journal of Symbolic Computation"},{"key":"13_CR7","first-page":"56","volume-title":"Efficient type inference and coercion in computer algebra","author":"A. Fortenbacher","year":"1990","unstructured":"A. Fortenbacher. Efficient type inference and coercion in computer algebra. In Miola [10]., pages 56\u201360."},{"key":"13_CR8","series-title":"Handbook of Theoretical Computer Science","first-page":"243","volume-title":"Formal Models and Semantics","author":"N. Dershowitz","year":"1990","unstructured":"N. Dershowitz and J.-P. Jouannaud. Rewrite systems. In J. van Leeuwen, editor, Formal Models and Semantics, volume B of Handbook of Theoretical Computer Science, chapter 6, pages 243\u2013320. Elsevier, Amsterdam, 1990."},{"key":"13_CR9","doi-asserted-by":"crossref","DOI":"10.1007\/978-0-387-77487-9","volume-title":"Universal Algebra","author":"G. Gr\u00e4tzer","year":"1979","unstructured":"G. Gr\u00e4tzer. Universal Algebra. Springer-Verlag, New York-Heidelberg-Berlin, second edition, 1979.","edition":"second edition"},{"key":"13_CR10","series-title":"Lecture Notes in Computer Science","volume-title":"Design and Implementation of Symbolic Computation Systems (DISCO '90)","year":"1990","unstructured":"A. Miola, editor. Design and Implementation of Symbolic Computation Systems (DISCO '90), volume 429 of Lecture Notes in Computer Science, Capri, Italy, April 1990. Springer-Verlag."}],"container-title":["Lecture Notes in Computer Science","Artificial Intelligence and Symbolic Mathematical Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-57322-4_13.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,20]],"date-time":"2023-06-20T18:31:44Z","timestamp":1687285904000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-57322-4_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540573227","9783540480631"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-57322-4_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}