## Equivalence in Finite-Variable Logics Is Complete for Polynomial Time (1996)

### Cached

### Download Links

- [www.math.uic.edu]
- [sunpool.mathematik.uni-freiburg.de]
- [sun2.mathematik.uni-freiburg.de]
- [www.automata.rwth-aachen.de]
- DBLP

### Other Repositories/Bibliography

by
Martin Grohe

Venue: | IN PROCEEDINGS OF THE 37TH ANNUAL IEEE SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE |

Citations: | 14 - 2 self |