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

by Martin Grohe
Venue:IN PROCEEDINGS OF THE 37TH ANNUAL IEEE SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE
Citations:10 - 2 self