On the Church-Rosser Property for Expressive Type Systems and its Consequences for their Metatheoretic Study
Herman GeuversBenjamin WernerPublished in: LICS (1994)
Keyphrases
- simulation study
- empirical studies
- information retrieval
- expert systems
- learning systems
- knowledge based systems
- management system
- information extraction
- statistically significant
- complex systems
- theoretical framework
- computer systems
- intelligent systems
- logic programs
- neural network
- mobile robot
- evolutionary algorithm
- bayesian networks
- clustering algorithm
- genetic algorithm
- data mining