DMCA

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:15 - 2 self