Volgen
Aarne Ranta
Aarne Ranta
Professor of Computer Science, University of Gothenburg
Geverifieerd e-mailadres voor chalmers.se
Titel
Geciteerd door
Geciteerd door
Jaar
Structural proof theory
S Negri, J Von Plato, A Ranta
Cambridge university press, 2008
7372008
Type-theoretical grammar
A Ranta
Oxford University Press, 1994
6271994
Grammatical framework
A Ranta
Journal of Functional Programming 14 (2), 145-189, 2004
4362004
Grammatical framework: Programming with multilingual grammars
A Ranta
CSLI Publications, Center for the Study of Language and Information, 2011
3492011
The GF resource grammar library
A Ranta
Linguistic Issues in Language Technology 2 (2), 1-63, 2009
1712009
Urdu morphology, orthography and lexicon extraction
M Humayoun, H Hammarström, A Ranta
arXiv preprint arXiv:2204.03071, 2022
962022
Implementing controlled languages in GF
K Angelov, A Ranta
International Workshop on Controlled Natural Language, 82-101, 2009
872009
Functional morphology
M Forsberg, A Ranta
ACM SIGPLAN Notices 39 (9), 213-223, 2004
862004
An authoring tool for informal and formal requirements specifications
R Hähnle, K Johannisson, A Ranta
Fundamental Approaches to Software Engineering: 5th International Conference …, 2002
812002
XML and multilingual document authoring: Convergent trends
M Dymetman, V Lux, A Ranta
COLING 2000 Volume 1: The 18th International Conference on Computational …, 2000
702000
Intuitionistic categorial grammar
A Ranta
Linguistics and Philosophy, 203-239, 1991
701991
An extensible proof text editor
T Hallgren, A Ranta
International Conference on Logic for Programming Artificial Intelligence …, 2000
662000
Propositions as games as types
A Ranta
Synthese 76, 377-395, 1988
631988
Morphological lexicon extraction from raw text data
M Forsberg, H Hammarström, A Ranta
Advances in Natural Language Processing: 5th International Conference on NLP …, 2006
532006
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
482012
Controlled language for everyday use: the molto phrasebook
A Ranta, R Enache, G Détrez
Controlled Natural Language: Second International Workshop, CNL 2010 …, 2012
472012
Modular grammar engineering in GF
A Ranta
Research on Language and Computation 5 (2), 133-158, 2007
452007
Multilingual syntax editing in GF
J Khegai, B Nordström, A Ranta
Computational Linguistics and Intelligent Text Processing: 4th International …, 2003
442003
Implementing programming languages. An introduction to compilers and interpreters
A Ranta
College Publications, 2012
402012
Grammars as software libraries
A Ranta
From semantics to computer science. Essays in honour of Gilles Kahn, 281-308, 2009
392009
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20