Abstract Conditions for the Confluence of Explicit Substitution Calculi.

Published in: Electron. Notes Theor. Comput. Sci. (2005)

Keyphrases

sufficient conditions
low level
high level
higher level
database
real world
computer vision
case study
evolutionary algorithm
fuzzy logic
experimental conditions