Publications

Filters: First Letter Of Title is M  [Clear All Filters]
A B C D E F G H I J K L [M] N O P Q R S T U V W X Y Z   [Show ALL]
X
Xambó S, Saludes J. Math Exercises Library. 2011. Abstract Array Download: mgl-1.pdf (110.99 KB)
S
Saludes J. Math Exercises Library. Submitted.Array Download: mgl-demo.pdf (126.31 KB)
Saludes J, Xambó S. MOLTO Mathematical Grammar Library. 2010.Array Download: mOlto-MGL.pdf (605.86 KB)
Saludes J. MathBar.pgf. 2013. Abstract Array Download: MathBar.pgf (616.21 KB)
Saludes J, Xambó S. Multilingual Sage. Tbilisi Mathematical Journal. In Press;5(2). Abstract Array
R
Ranta A. MOLTO: Multilingual Online Translation. Monnet-MOLTO Meeting, Utrecht, 19 September 2012. 2012.Array Download: utrecht-molto-2012.pdf (667.58 KB)
Ranta A. Machine translation and type theory. In: Dybjer P, Palmgren E, Lindström S, Sundholm G, eds. Epistemology versus Ontology. Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf.Vol 27. Epistemology versus Ontology. Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf.; 2012:281-311. Available at: http://link.springer.com/chapter/10.1007/978-94-007-4435-6_14.Array Download: final-mttt.pdf (591.34 KB)
Ranta A. MOLTO: Multilingual On-Line Translation. Using Grammatical Framework to Build Production-Quality Translation Systems. 2011. Available at: http://www.uoc.edu/freerbmt11/resources/Slides/ranta-freerbmt-2011.pdf.Array
Ranta A. Multilingual Packages of Controlled Languages: An Introduction to GF. In: CNL-2010 (2nd Workshop on Controlled Natural Language). CNL-2010 (2nd Workshop on Controlled Natural Language). Marettimo, Sicily; 2010.Array Download: cnl-2010.pdf (1.11 MB)
Ranta A. MOLTO: Results and Future Prospects. Overview of the final presentations. 2013. Abstract Array Download: final-molto-2013.pdf (115.33 KB)
Ranta A. MOLTO - Multilingual On-Line Translation. Talk given at Xerox Research Centre Europe, Grenoble, 19 January 2012. 2012.Array Download: xrce-molto.pdf (340.05 KB)
P