Publications

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 
M
Saludes J. Math Exercises Library. Submitted.Array Download: mgl-demo.pdf (126.31 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)
L
K
Koponen M. Konekäännöksen laatu ja jälkieditointiin soveltuvien käännösten tunnistaminen. presentation in KäTu 2013, XI Symposium on Translation and Interpreting: Technology and Translation. 2013. Available at: http://www.molto-project.eu/sites/default/files/katu2013_koponen.pdf.Array Download: katu2013_koponen.pdf (170.05 KB)
Mitankin P, Ilchev A. Knowledge Representation Infrastucture. MOLTO Project Deliverable. 2010. Available at: http://www.molto-project.eu/node/1128. Abstract Array Download: D4.1_edited.pdf (1.07 MB)
I
Camilleri J. An IDE for the Grammatical Framework. In: Third International Workshop on Free/Open-Source Rule-Based Machine Translation (FreeRBMT 2012). Third International Workshop on Free/Open-Source Rule-Based Machine Translation (FreeRBMT 2012).; 2012. Abstract Array Download: An IDE for the Grammatical Framework - FreeRBMT 2012.pdf (507.44 KB)
H
G
Saludes J, Caprotti O, Xambó S. A grammar-based approach to multilingual mathematics. 2013;5th International Workshop on Mathematical e-Learning. Available at: https://sites.google.com/site/5emath2013madrid/.Array Download: eMath5Madrid.pdf (492.67 KB)
Ranta A, Hallgren T, Camilleri J, Enache R. Grammar IDE. 2011.Array Download: D2.2.pdf (453.21 KB)
Enache R, Détrez G. GF Runtime System. 2010.Array Download: runtime.pdf (159.56 KB)
Saludes J, Xambó S. The GF mathematics library. 2011.Array Download: gfmath.pdf (136.56 KB)
Saludes J, Xambó S. The GF Mathematics Library. In: Quaresma P, Back R-J, eds. Proceedings First Workshop on CTP Components for Educational Software (THedu'11).Vol Electronic Proceedings in Theoretical Computer Science . Proceedings First Workshop on CTP Components for Educational Software (THedu'11). Wrocław, Poland; 2011:102–110. Available at: http://cgi.cse.unsw.edu.au/~rvg/eptcs/Published/THedu11/Papers/22/arXiv.pdf. Abstract Array
Caprotti O, Saludes J. The GF Mathematical Grammar Library. In: Conference on Intelligent Computer Mathematics /OpenMath Workshop. 2012th ed. Conference on Intelligent Computer Mathematics /OpenMath Workshop.; 2012.Array Download: gf-mgl.pdf (219.79 KB); GF.matlib.xhtml (10.01 KB)