Theo dõi
Aarne Ranta
Aarne Ranta
Professor of Computer Science, University of Gothenburg
Email được xác minh tại chalmers.se
Tiêu đề
Trích dẫn bởi
Trích dẫn bởi
Năm
Structural proof theory
S Negri, J Von Plato, A Ranta
Cambridge university press, 2008
7522008
Type-theoretical grammar
A Ranta
Oxford University Press, 1994
6321994
Grammatical framework
A Ranta
Journal of Functional Programming 14 (2), 145-189, 2004
4382004
Grammatical framework: Programming with multilingual grammars
A Ranta
CSLI Publications, Center for the Study of Language and Information, 2011
3542011
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
872004
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
832002
XML and multilingual document authoring: Convergent trends
M Dymetman, V Lux, A Ranta
COLING 2000 Volume 1: The 18th International Conference on Computational …, 2000
692000
Intuitionistic categorial grammar
A Ranta
Linguistics and Philosophy, 203-239, 1991
691991
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
611988
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
432003
Implementing programming languages. An introduction to compilers and interpreters
A Ranta
College Publications, 2012
392012
Grammars as software libraries
A Ranta
From semantics to computer science. Essays in honour of Gilles Kahn, 281-308, 2009
382009
Hệ thống không thể thực hiện thao tác ngay bây giờ. Hãy thử lại sau.
Bài viết 1–20