Ensuring Termination in ESFP.

Alastair J. Telford David Turner

Published in: J. Univers. Comput. Sci. (2000)

Keyphrases

term rewriting
multiscale
rewrite systems
real world
artificial intelligence
decision making
case study
cooperative
search algorithm
viewpoint
dynamic programming
probability distribution
response time
object oriented databases