Keyphrases
- lambda calculus
- programming language
- machine translation
- higher order
- predicate calculus
- database query languages
- qualitative spatial and temporal reasoning
- sequent calculi
- fixed point
- data mining
- program understanding
- neural network
- real time
- data structure
- information systems
- genetic algorithm
- real world
- fixed order
- databases