Aarne Ranta
Aarne Ranta
Professor of Computer Science, University of Gothenburg
Потвърден имейл адрес: chalmers.se
ЗаглавиеПозоваванияГодина
Type-theoretical grammar
A Ranta
Oxford University Press, 1994
5101994
Structural proof theory
S Negri, J Von Plato, A Ranta
Cambridge University Press, 2008
4682008
Grammatical framework
A Ranta
Journal of Functional Programming 14 (2), 145-189, 2004
3672004
Grammatical framework: Programming with multilingual grammars
A Ranta
CSLI Publications, Center for the Study of Language and Information, 2011
2182011
The GF resource grammar library
A Ranta
Linguistic Issues in Language Technology 2 (2), 1-63, 2009
1192009
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
762006
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
712004
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
Urdu morphology, orthography and lexicon extraction
M Humayoun, H Hammarström, A Ranta
Chalmers tekniska högskola, 2006
642006
Intuitionistic categorial grammar
A Ranta
Linguistics and Philosophy 14 (2), 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
531988
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
Multilingual syntax editing in GF
J Khegai, B Nordström, A Ranta
International Conference on Intelligent Text Processing and Computational …, 2003
362003
Controlled language for everyday use: the molto phrasebook
A Ranta, R Enache, G Détrez
International Workshop on Controlled Natural Language, 115-136, 2010
352010
Natural languages as collections of resources
R Cooper, A Ranta
Language in Flux: Relating Dialogue Coordination to Language Variation …, 2008
352008
Modular grammar engineering in GF
A Ranta
Research on Language and Computation 5 (2), 133-158, 2007
352007
A pattern for almost compositional functions
B Bringert, A Ranta
Journal of Functional Programming 18 (5-6), 567-598, 2008
332008
Системата не може да изпълни операцията сега. Опитайте отново по-късно.
Статии 1–20