A third-order bounded arithmetic theory for PSPACE (2004)

Cached

Download Links

by Alan Skelley
Venue:of Lecture Notes in Computer Science
Citations:7 - 3 self