| 2009 |
|---|
| 21 | EE | Aarne Ranta,
Krasimir Angelov,
Björn Bringert:
Grammar Development in GF.
EACL (Demos) 2009: 57-60 |
| 20 | EE | Björn Bringert,
Krasimir Angelov,
Aarne Ranta:
Grammatical Framework Web Service.
EACL (Demos) 2009: 9-12 |
| 2008 |
|---|
| 19 | | Bengt Nordström,
Aarne Ranta:
Advances in Natural Language Processing, 6th International Conference, GoTAL 2008, Gothenburg, Sweden, August 25-27, 2008, Proceedings
Springer 2008 |
| 18 | EE | Björn Bringert,
Aarne Ranta:
A pattern for almost compositional functions.
J. Funct. Program. 18(5-6): 567-598 (2008) |
| 2006 |
|---|
| 17 | EE | Markus Forsberg,
Harald Hammarström,
Aarne Ranta:
Morphological Lexicon Extraction from Raw Text Data.
FinTAL 2006: 488-499 |
| 16 | EE | Björn Bringert,
Aarne Ranta:
A pattern for almost compositional functions.
ICFP 2006: 216-226 |
| 2005 |
|---|
| 15 | EE | Markus Forsberg,
Aarne Ranta:
Tool Demonstration: Functional Morphology.
FSMNLP 2005: 304-305 |
| 2004 |
|---|
| 14 | EE | Janna Khegai,
Aarne Ranta:
Building and Using a Russian Resource Grammar in GF.
CICLing 2004: 38-41 |
| 13 | EE | Markus Forsberg,
Aarne Ranta:
Functional morphology.
ICFP 2004: 213-223 |
| 12 | EE | Aarne Ranta:
Grammatical Framework.
J. Funct. Program. 14(2): 145-189 (2004) |
| 11 | EE | Aarne Ranta,
Robin Cooper:
Dialogue Systems as Proof Editors.
Journal of Logic, Language and Information 13(2): 225-240 (2004) |
| 2003 |
|---|
| 10 | EE | Janna Khegai,
Bengt Nordström,
Aarne Ranta:
Multilingual Syntax Editing in GF.
CICLing 2003: 453-464 |
| 2002 |
|---|
| 9 | EE | Reiner Hähnle,
Kristofer Johannisson,
Aarne Ranta:
An Authoring Tool for Informal and Formal Requirements Specifications.
FASE 2002: 233-248 |
| 2000 |
|---|
| 8 | EE | Marc Dymetman,
Veronika Lux,
Aarne Ranta:
XML and Multilingual Document Authoring: Convergent Trends.
COLING 2000: 243-249 |
| 7 | EE | Thomas Hallgren,
Aarne Ranta:
An Extensible Proof Text Editor.
LPAR 2000: 70-84 |
| 1998 |
|---|
| 6 | | Aarne Ranta:
Syntactic Calculus with Dependent Types.
Journal of Logic, Language and Information 7(4): 413-431 (1998) |
| 1996 |
|---|
| 5 | EE | Patrick Blackburn,
Marc Dymetman,
Alain Lecomte,
Aarne Ranta,
Christian Retoré,
Eric Villemonte de la Clergerie:
Logical Aspects of Computational Linguistics: An Introduction.
LACL 1996: 1-20 |
| 1995 |
|---|
| 4 | EE | Aarne Ranta:
Context-Relative Syntactic Categories and the Formalization of Mathematical Text.
TYPES 1995: 231-248 |
| 3 | EE | Aarne Ranta:
Type-Theoretical Interpretation and Generalization of Phrase Structure Grammar.
Logic Journal of the IGPL 3(2-3): 319-342 (1995) |
| 1994 |
|---|
| 2 | | Aarne Ranta:
Syntactic Categories in the Language of Mathematics.
TYPES 1994: 162-182 |
| 1993 |
|---|
| 1 | | Aarne Ranta:
Type Theory and the Informal Language of Mathematics.
TYPES 1993: 352-365 |
