Toward Logic Tailored for Computational Complexity (1984)

by Yuri Gurevich
Venue:COMPUTATION AND PROOF THEORY
Citations:75 - 6 self