On the decidability and complexity of the structural congruence for beta-binders.

Alessandro Romanel Corrado Priami

Published in: Theor. Comput. Sci. (2008)

Keyphrases

computational complexity
worst case
structural information
multiscale
computational cost
query answering
computer vision
search algorithm
relational databases
structural analysis
lower complexity