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

### Cached

### Download Links

- [www.cs.toronto.edu]
- [www.cs.utoronto.ca]
- DBLP

### Other Repositories/Bibliography

by
Alan Skelley

Venue: | of Lecture Notes in Computer Science |

Citations: | 7 - 3 self |