Logic

Research Frontiers in Implicit Complexity and Descriptive Complexity

Studies characterizations of computational complexity classes through logical systems without explicit resource bounds in formulation.

All Logic PhD categories