The closure of Monadic NP (extended abstract)
STOC '98 Proceedings of the thirtieth annual ACM symposium on Theory of computing
Existential second-order logic over strings
Journal of the ACM (JACM)
Lower bounds for invariant queries in logics with counting
Theoretical Computer Science - Complexity and logic
A Toolkit for First Order Extensions of Monadic Games
STACS '01 Proceedings of the 18th Annual Symposium on Theoretical Aspects of Computer Science
Directed Reachability: From Ajtai-Fagin to Ehrenfeucht-Fraïssé Games
CSL '99 Proceedings of the 13th International Workshop and 8th Annual Conference of the EACSL on Computer Science Logic
| Hi-index | 0.00 |