On the syntax of infinite objects: an extension of Martin-Löf's theory of expressions.
Lars HallnäsPublished in: Conference on Computer Logic (1988)
Keyphrases
- theoretical foundation
- natural language
- d objects
- theoretical framework
- multiple objects
- object model
- spatial relationships
- data objects
- computational model
- theoretical basis
- high level
- artificial intelligence
- real world objects
- general theory
- complex scenes
- databases
- definition language
- spatial relations
- moving objects
- digital libraries
- genetic algorithm
- neural network