The Relative Complexity of Resolution and Cut-Free Gentzen Systems.

Alasdair Urquhart

Published in: Ann. Math. Artif. Intell. (1992)

Keyphrases

worst case
computer systems
low resolution
real time
data mining
machine learning
multiscale
computational complexity
complex systems
space complexity