Strong Normalization of Herbelin's Explicit Substitution Calculus with Substitution Propagation.

Roy Dyckhoff Christian Urban

Published in: J. Log. Comput. (2003)

Keyphrases

artificial intelligence
search algorithm
preprocessing
evolutionary algorithm
database
real time
digital libraries
multiresolution