Publications

Filters: First Letter Of Last Name is R  [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]
R
Ribó A, Saludes J, Xambó S. Simple drill library snapshot Hierro A, Angelov K, Caprotti O, et al., eds. 2011.Array Download: mgl.tar.gz (974.6 KB)
Ranta A. Translating between Language and Logic: What Is Easy and What is Difficult?. In: Bjørner N, Sofronie-Stokkermans V, eds. CADE-23. Automated Deduction.Vol LNCS/LNAI 6803. CADE-23. Automated Deduction. http://link.springer.com/chapter/10.1007%2F978-3-642-22438-6_3; 2011:5-25. Available at: http://www.cse.chalmers.se/~aarne/articles/cade2011.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. 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, Hallgren T, Camilleri J, Enache R. Grammar IDE. 2011.Array Download: D2.2.pdf (453.21 KB)
Ranta A. The First Year of MOLTO. 2011.Array Download: molto-first-2011.pdf (229.68 KB)
Ranta A. Two Years of MOLTO. 2012.Array Download: zurich-molto-2012.pdf (1.18 MB)
Ranta A. MOLTO: Multilingual Online Translation. Monnet-MOLTO Meeting, Utrecht, 19 September 2012. 2012.Array Download: utrecht-molto-2012.pdf (667.58 KB)