Aarne Ranta
Aarne Ranta
Professor of Computer Science, University of Gothenburg
Dirección de correo verificada de chalmers.se
TítuloCitado porAño
Type-theoretical grammar
A Ranta
Oxford University Press, 1994
5161994
Structural proof theory
S Negri, J Von Plato, A Ranta
Cambridge University Press, 2008
4772008
Grammatical framework
A Ranta
Journal of Functional Programming 14 (2), 145-189, 2004
3692004
Grammatical framework: Programming with multilingual grammars
A Ranta
CSLI Publications, Center for the Study of Language and Information, 2011
2252011
The GF resource grammar library
A Ranta
Linguistic Issues in Language Technology 2 (2), 1-63, 2009
1222009
Lecture notes in computer science (including subseries lecture notes in artificial intelligence and lecture notes in bioinformatics): Preface
M Abe, K Aoki, G Ateniese, R Avanzi, Z Beerliová, O Billet, A Biryukov, ...
Lecture Notes in Computer Science (including subseries Lecture Notes in …, 2006
822006
Implementing controlled languages in GF
K Angelov, A Ranta
International Workshop on Controlled Natural Language, 82-101, 2009
742009
Functional morphology
M Forsberg, A Ranta
ACM SIGPLAN Notices 39 (9), 213-223, 2004
722004
Urdu morphology, orthography and lexicon extraction
M Humayoun, H Hammarström, A Ranta
Chalmers tekniska högskola, 2006
662006
An authoring tool for informal and formal requirements specifications
R Hähnle, K Johannisson, A Ranta
International Conference on Fundamental Approaches to Software Engineering …, 2002
662002
Intuitionistic categorial grammar
A Ranta
Linguistics and Philosophy, 203-239, 1991
621991
XML and multilingual document authoring: Convergent trends
M Dymetman, V Lux, A Ranta
Proceedings of the 18th conference on Computational linguistics-Volume 1 …, 2000
572000
An extensible proof text editor
T Hallgren, A Ranta
International Conference on Logic for Programming Artificial Intelligence …, 2000
562000
Propositions as games as types
A Ranta
Synthese 76 (3), 377-395, 1988
541988
Morphological lexicon extraction from raw text data
M Forsberg, H Hammarström, A Ranta
International Conference on Natural Language Processing (in Finland), 488-499, 2006
452006
Controlled language for everyday use: the molto phrasebook
A Ranta, R Enache, G Détrez
International Workshop on Controlled Natural Language, 115-136, 2010
362010
Modular grammar engineering in GF
A Ranta
Research on Language and Computation 5 (2), 133-158, 2007
362007
Multilingual syntax editing in GF
J Khegai, B Nordström, A Ranta
International Conference on Intelligent Text Processing and Computational …, 2003
362003
Natural languages as collections of resources
R Cooper, A Ranta
Language in Flux: Relating Dialogue Coordination to Language Variation …, 2008
352008
Smart paradigms and the predictability and complexity of inflectional morphology
G Détrez, A Ranta
Proceedings of the 13th Conference of the European Chapter of the …, 2012
332012
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20