Translating between Language and Logic: What Is Easy and What Is Difficult.
Aarne RantaPublished in: CADE (2011)
Keyphrases
- programming language
- formal language
- language learning
- proof theory
- dynamic logic
- operational semantics
- intuitionistic logic
- formal theory
- database systems
- formal logic
- conditional logic
- database language
- order sorted
- concurrent programming
- highly expressive
- asynchronous circuits
- language processing
- modal logic
- relational databases
- multi agent systems
- natural language