( en | de | ru )

 

Disambiguation of "Ranta, Aarne"

Author of the publication

copydeleteadd this publication to your clipboard
A Hybrid System for Patent Translation.

, , , and . EAMT, page 269-276. European Association for Machine Translation, (2012)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Felicia Ranta

Toni Rantanen

Aarne Stüven

Aarne Kumlin

Aarne Fleischer

 

Other publications of authors with the same name

Embedded Controlled Languages.. CNL, volume 8625 of Lecture Notes in Computer Science, page 1-7. Springer, (2014)Controlled Language for Everyday Use: The MOLTO Phrasebook., , and . CNL, volume 7175 of Lecture Notes in Computer Science, page 115-136. Springer, (2010)Syntactic Categories in the Language of Mathematics.. TYPES, volume 996 of Lecture Notes in Computer Science, page 162-182. Springer, (1994)Grammatical Framework.. J. Funct. Program., 14 (2): 145-189 (2004)A pattern for almost compositional functions., and . J. Funct. Program., 18 (5-6): 567-598 (2008)Speaking About Wine: Another Case Study in Bridging the Gap Between Formal and Informal Knowledge.. The Logic of Software. A Tasting Menu of Formal Methods, volume 13360 of Lecture Notes in Computer Science, page 397-407. Springer, (2022)BNF converter., and . Haskell, page 94-95. ACM, (2004)Implementing controlled languages in GF, and . Controlled Natural Language, Springer, (2010)On the Syntax and Translation of Finnish Discourse Clitics.. Shall We Play the Festschrift Game?, page 227-241. Springer, (2012)Context-Relative Syntactic Categories and the Formalization of Mathematical Text.. TYPES, volume 1158 of Lecture Notes in Computer Science, page 231-248. Springer, (1995)