Keyphrases
- constraint language
- data processing
- natural language
- cost effective
- language learning
- proof theory
- programming language
- formal language
- formal theory
- case study
- object level
- rapid development
- linear temporal logic
- linear constraints
- computational linguistics
- predicate logic
- predicate calculus
- global constraints
- dynamic logic
- modeling language
- highly expressive
- lambda calculus
- technology enhanced learning systems
- order sorted