Existential second-order logic over strings
Journal of the ACM (JACM)
Linear time and the power of one first-order universal quantifier
Information and Computation
On the expressive power of monadic least fixed point logic
Theoretical Computer Science - Automata, languages and programming: Logic and semantics (ICALP-B 2004)
A logical characterisation of linear time on nondeterministic turing machines
STACS'99 Proceedings of the 16th annual conference on Theoretical aspects of computer science
The model checking problem for prefix classes of second-order logic: a survey
Fields of logic and computation
Hi-index | 0.00 |