Non-Uniform Complexity via Non-Wellfounded Proofs.

Gianluca Curzi Anupam Das

Published in: CSL (2023)

Keyphrases

computational complexity
multiresolution
face recognition
upper bound
worst case
theorem proving
database
information retrieval
optimal solution
learning environment
expert systems
decision problems