## A second-order system for polytime reasoning based on Grädel's theorem (2001)

### Cached

### Download Links

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

### Other Repositories/Bibliography

by
Stephen Cook
,
Antonina Kolokolova

Citations: | 17 - 8 self |