Mathematical Logic Foundations

Research Frontiers in Implicit Computational Complexity and Tiered Systems

Develops implicit characterizations of complexity classes using tiered type systems and resource-bounded logics without explicit bounds.

All Mathematical Logic & Foundations PhD categories