The monadic second-order logic of graphs. I. recognizable sets of finite graphs
Information and Computation
Finite-automaton aperiodicity is PSPACE-complete
Theoretical Computer Science
Finite automata, formal logic, and circuit complexity
Finite automata, formal logic, and circuit complexity
An algebraic characterization of frontier testable tree languages
ICALP Selected papers of the twentieth international colloquium on Automata, languages and programming
Journal of the ACM (JACM)
Counting modulo quantifiers on finite structures
Information and Computation - Special issue: LICS 1996—Part 1
ICALP '89 Proceedings of the 16th International Colloquium on Automata, Languages and Programming
The Expressive Power of Existential First Order Sentences of Büchi's Sequential Calculus
ICALP '96 Proceedings of the 23rd International Colloquium on Automata, Languages and Programming
First-Order Logic on Finite Trees
TAPSOFT '95 Proceedings of the 6th International Joint Conference CAAP/FASE on Theory and Practice of Software Development
Regular Tree Languages Without Unary Symbols are Star-Free
FCT '93 Proceedings of the 9th International Symposium on Fundamentals of Computation Theory
Elements Of Finite Model Theory (Texts in Theoretical Computer Science. An Eatcs Series)
Elements Of Finite Model Theory (Texts in Theoretical Computer Science. An Eatcs Series)
Counter-Free Automata (M.I.T. research monograph no. 65)
Counter-Free Automata (M.I.T. research monograph no. 65)
Characterizing EF and EX tree logics
Theoretical Computer Science - Concurrency theory (CONCUR 2004)
A new algorithm for testing if a regular language is locally threshold testable
Information Processing Letters
Regular tree languages definable in FO
STACS'05 Proceedings of the 22nd annual conference on Theoretical Aspects of Computer Science
A Decidable Characterization of Locally Testable Tree Languages
ICALP '09 Proceedings of the 36th Internatilonal Collogquium on Automata, Languages and Programming: Part II
Automata vs. logics on data words
CSL'10/EACSL'10 Proceedings of the 24th international conference/19th annual conference on Computer science logic
Characterizing EF over infinite trees and modal logic on transitive graphs
MFCS'11 Proceedings of the 36th international conference on Mathematical foundations of computer science
Deciding twig-definability of node selecting tree automata
Proceedings of the 15th International Conference on Database Theory
Locality and the complexity of minimalist derivation tree languages
FG'10/FG'11 Proceedings of the 15th and 16th international conference on Formal Grammar
Hi-index | 0.03 |
We consider regular languages of labeled trees. We give an effective characterization of the regular languages over such trees that are definable in first-order logic in the language of labeled graphs. These languages are the analog on trees of the “locally threshold testable” languages on strings. We show that this characterization yields a decision procedure for determining whether a regular tree language is first-order definable: The procedure is polynomial time in the minimal automaton presenting the regular language. We also provide an algorithm for deciding whether a regular language is definable in first-order logic supplemented with modular quantifiers.