The closure of Monadic NP (extended abstract)
STOC '98 Proceedings of the thirtieth annual ACM symposium on Theory of computing
The monadic quantifier alternation hierarchy over grids and graphs
Information and Computation - Special issue: LICS'97
Arity and alternation: a proper hierarchy in higher order logics
Annals of Mathematics and Artificial Intelligence
Hierarchies in Fragments of Monadic Strict NP
CiE '07 Proceedings of the 3rd conference on Computability in Europe: Computation and Logic in the Real World
Arity and alternation: a proper hierarchy in higher order logics
FoIKS'06 Proceedings of the 4th international conference on Foundations of Information and Knowledge Systems
Hi-index | 0.89 |