Existential second-order logic over strings
Journal of the ACM (JACM)
STOC '04 Proceedings of the thirty-sixth annual ACM symposium on Theory of computing
Monadic Second-Order Logic and Transitive Closure Logics over Trees
Electronic Notes in Theoretical Computer Science (ENTCS)
Weighted Logics for Nested Words and Algebraic Formal Power Series
ICALP '08 Proceedings of the 35th international colloquium on Automata, Languages and Programming, Part II
Adding nesting structure to words
Journal of the ACM (JACM)
Fragments of Monadic Second-Order Logics Over Word Structures
Electronic Notes in Theoretical Computer Science (ENTCS)
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
Aural Pattern Recognition Experiments and the Subregular Hierarchy
Journal of Logic, Language and Information
Chomsky-Schützenberger-type characterization of multiple context-free languages
LATA'10 Proceedings of the 4th international conference on Language and Automata Theory and Applications
A Note on the Logical Definability of Rational Trace Languages
Fundamenta Informaticae - Words, Graphs, Automata, and Languages; Special Issue Honoring the 60th Birthday of Professor Tero Harju
Regular languages of nested words: fixed points, automata, and synchronization
ICALP'07 Proceedings of the 34th international conference on Automata, Languages and Programming
| Hi-index | 0.00 |