|
A. Baltz, Devdatt Dubhashi, A. Srivastav, Libertad Tansini, S. Werth |
2007 |
Probabilistic analysis for a multiple depot vehicle routing problem |
|
|
Aarne Ranta |
2015 |
Constructive Type Theory |
|
|
Aarne Ranta |
2014 |
Embedded controlled languages |
|
|
Aarne Ranta |
2012 |
Example-Based Grammar Writing |
|
|
Aarne Ranta |
2012 |
Machine Translation and Type Theory |
|
|
Aarne Ranta |
2012 |
On the Syntax and Translation of Finnish Discourse Clitics |
|
|
Aarne Ranta |
2011 |
När kan man lita på maskinöversättning? |
|
|
Aarne Ranta |
2011 |
Translating between Language and Logic: What Is Easy and What is Difficult? |
|
|
Aarne Ranta |
2011 |
Grammatical Framework: Programming with Multilingual Grammars |
|
|
Aarne Ranta |
2009 |
Grammars as software libraries |
|
