Program termination and well partial orderings.

Andreas Blass Yuri Gurevich

Published in: ACM Trans. Comput. Log. (2008)

Keyphrases

real time
neural network
search engine
search algorithm
evolutionary algorithm
object oriented
logic programming
automatic programming
control program