{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T17:32:48Z","timestamp":1725471168956},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540371045"},{"type":"electronic","value":"9783540371069"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11812289_16","type":"book-chapter","created":{"date-parts":[[2006,9,29]],"date-time":"2006-09-29T08:23:44Z","timestamp":1159518224000},"page":"194-207","source":"Crossref","is-referenced-by-count":6,"title":["From Notation to Semantics: There and Back Again"],"prefix":"10.1007","author":[{"given":"Luca","family":"Padovani","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefano","family":"Zacchiroli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"16_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-36469-2_1","volume-title":"Mathematical Knowledge Management","author":"A.A. Adams","year":"2003","unstructured":"Adams, A.A.: Digitisation, representation and formalisation: Digital libraries of mathematics. In: Asperti, A., Buchberger, B., Davenport, J.H. (eds.) MKM 2003. LNCS, vol.\u00a02594, pp. 1\u201316. Springer, Heidelberg (2003)"},{"issue":"1\u20133","key":"16_CR2","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1023\/A:1022907629104","volume":"38","author":"A. Asperti","year":"2003","unstructured":"Asperti, A., Guidi, F., Padovani, L., Sacerdoti Coen, C., Schena, I.: Mathematical knowledge management in HELM. Annals of Mathematics and Artificial Intelligence\u00a038(1\u20133), 27\u201346 (2003)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"16_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"368","DOI":"10.1007\/3-540-15975-4_48","volume-title":"Functional Programming Languages and Computer Architecture","author":"L. Augustsson","year":"1985","unstructured":"Augustsson, L.: Compiling pattern matching. In: Jouannaud, J.-P. (ed.) FPCA 1985. LNCS, vol.\u00a0201, pp. 368\u2013381. Springer, Heidelberg (1985)"},{"key":"16_CR4","unstructured":"The Coq proof-assistant, \n                    \n                      http:\/\/coq.inria.fr"},{"key":"16_CR5","unstructured":"de Jonge, M.: A pretty-printer for every occasion. In: Ferguson, I., Gray, J., Scott, L. (eds.) Proceedings of the 2nd International Symposium on Constructing Software Engineering Tools (CoSET2000), University of Wollongong, Australia, pp. 68\u201377 (June 2000)"},{"key":"16_CR6","volume-title":"Proceedings of the 2001 International Conference on Functional Programming","author":"F. Fessant Le","year":"2001","unstructured":"Le Fessant, F., Maranget, L.: Optimizing pattern-matching. In: Proceedings of the 2001 International Conference on Functional Programming, ACM Press, New York (2001)"},{"key":"16_CR7","unstructured":"Di Lena, P.: Generazione automatica di stylesheet per notazione matematica. Master\u2019s thesis, University of Bologna (2003)"},{"key":"16_CR8","unstructured":"Mathematical Markup Language (MathML) Version 2.0. W3C Recommendation 21 (February 2001) (2003), \n                    \n                      http:\/\/www.w3.org\/TR\/MathML2"},{"key":"16_CR9","unstructured":"The MoWGLI Proposal, HTML version, \n                    \n                      http:\/\/mowgli.cs.unibo.it\/html_no_frames\/project.html"},{"issue":"1\u20133","key":"16_CR10","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1023\/A:1022955412266","volume":"38","author":"B. Naylor","year":"2003","unstructured":"Naylor, B., Watt, S.: Meta-stylesheets for the conversion of mathematical documents into multiple forms. Annals of Mathematics and Artificial Intelligence\u00a038(1\u20133), 3\u201325 (2003)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"16_CR11","unstructured":"Rekers, J.: Parser Generation for Interactive Environments. PhD thesis, University of Amsterdam (1992)"},{"key":"16_CR12","unstructured":"Coen, C.S.: Mathematical Knowledge Management and Interactive Theorem Proving. PhD thesis, University of Bologna, Technical Report UBLCS 2004-5 (2004)"},{"key":"16_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"347","DOI":"10.1007\/978-3-540-27818-4_25","volume-title":"Mathematical Knowledge Management","author":"C.S. Coen","year":"2004","unstructured":"Coen, C.S., Zacchiroli, S.: Efficient ambiguous parsing of mathematical formulae. In: Asperti, A., Bancerek, G., Trybulec, A. (eds.) MKM 2004. LNCS, vol.\u00a03119, pp. 347\u2013362. Springer, Heidelberg (2004)"},{"key":"16_CR14","unstructured":"The\u00a0OpenMath Society. The OpenMath Standard 2.0 (June 2004), \n                    \n                      http:\/\/www.openmath.org\/standard\/om20\/omstd20html-0.xml"},{"key":"16_CR15","unstructured":"Werner, B.: Une Th\u00e9orie des Constructions Inductives. PhD thesis, Universit\u00e9 Paris VII (May 1994)"},{"key":"16_CR16","unstructured":"XSL Transformations (XSLT). Version 1.0. W3C Recommendation, 16 (November 1999), \n                    \n                      http:\/\/www.w3.org\/TR\/xslt"}],"container-title":["Lecture Notes in Computer Science","Mathematical Knowledge Management"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11812289_16.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:27:02Z","timestamp":1619508422000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11812289_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540371045","9783540371069"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/11812289_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}