Termination of Algebraic Type Systems: The Syntactic Approach.

Gilles Barthe Femke van Raamsdonk

Published in: ALP/HOA (1997)

Keyphrases

complex systems
knowledge based systems
distributed systems
data sets
rewrite systems
artificial intelligence
case study
bayesian networks
digital libraries
expert systems
evolutionary algorithm
control system
decision making
intelligent systems
computer systems
building blocks
genetic algorithm
real time