Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Aarne Ranta

Translating Between Language and Logic: What Is Easy and What Is Difficult

Lecture Notes in Computer Science

Computer Science

Theoretical Computer Science

English

Speech-Enabled Hybrid Multilingual Translation for Mobile Devices

English

Types and Records for Predication

English

Computational Semantics in Type Theory

Mathématiques et sciences humaines

English