„Tree Automata“
Suchergebnisse
219 Treffer
-
Completeness of Tree Automata Completion
-
Unambiguous Languages Exhaust the Index Hierarchy
-
VLDL Satisfiability and Model Checking via Tree Automata
-
Towards an Efficient Tree Automata Based Technique for Timed Systems
-
The Equivalence, Unambiguity and Sequentiality Problems of Finitely Ambiguous Max-Plus Tree Automata are Decidable
-
Emptiness of Zero Automata Is Decidable
-
Combined Tractability of Query Evaluation via Tree Automata and Cycluits
-
On the Expressiveness of QCTL
-
Analyzing Timed Systems Using Tree Automata
-
Coalgebraic Trace Semantics for Buechi and Parity Automata
-
On the Complexity of Branching Games with Regular Conditions
-
Connected Reversible Mealy Automata of Prime Size Cannot Generate Infinite Burnside Groups
-
Deciding the Topological Complexity of Büchi Languages
-
Thin MSO with a Probabilistic Path Quantifier
-
Certifying Confluence of Almost Orthogonal CTRSs via Exact Tree Automata Completion
-
Probabilistic Regular Expressions and MSO Logic on Finite Trees
-
Ordered Tree-Pushdown Systems
-
On Unambiguous Regular Tree Languages of Index (0,2)
-
Automata Theoretic Account of Proof Search
-
Fibrations of Tree Automata