Computational complexity theory

Home > Philosophy > Logic > Inference > Computational complexity theory

It analyzes the computational resources required to solve logical problems.