Pages that link to "Item:Q5538923"
From MaRDI portal
The following pages link to Generalized finite automata theory with an application to a decision problem of second-order logic (Q5538923):
Displaying 50 items.
- A logical approach to locality in pictures languages (Q295631) (← links)
- Logic programming approach to automata-based decision procedures (Q347398) (← links)
- Cellular automata between sofic tree shifts (Q393113) (← links)
- Courcelle's theorem -- a game-theoretic approach (Q408375) (← links)
- Static analysis of XML security views and query rewriting (Q462481) (← links)
- Practical algorithms for MSO model-checking on tree-decomposable graphs (Q473216) (← links)
- Automata for unordered trees (Q515668) (← links)
- Weighted automata and logics for infinite nested words (Q515684) (← links)
- Monadic second-order model-checking on decomposable matroids (Q548278) (← links)
- Decidable containment of recursive queries (Q555766) (← links)
- Basic tree transducers (Q579951) (← links)
- Automata on infinite objects and their applications to logic and programming (Q582913) (← links)
- Büchi context-free languages (Q627181) (← links)
- Characterization and complexity of uniformly nonprimitive labeled 2-structures (Q672749) (← links)
- On the equivalence of recursive and nonrecursive Datalog programs (Q676421) (← links)
- Monadic second-order evaluations on tree-decomposable graphs (Q685464) (← links)
- Another variation on the common subexpression problem (Q685700) (← links)
- Determinacy and rewriting of functional top-down and MSO tree transformations (Q730500) (← links)
- Axiomatizing the equational theory of regular tree languages (Q844887) (← links)
- Definable transductions and weighted logics for texts (Q844894) (← links)
- Dominance constraints in stratified context unification (Q845917) (← links)
- Vertex-minors, monadic second-order logic, and a conjecture by Seese (Q858683) (← links)
- Weighted tree automata and weighted logics (Q860890) (← links)
- Automata for XML -- a survey (Q878749) (← links)
- On the minimization of XML schemas and tree automata for unranked trees (Q882435) (← links)
- Tree algebras and varieties of tree languages (Q884456) (← links)
- The congruence theory of closure properties of regular tree languages (Q917323) (← links)
- Weighted monadic Datalog (Q944376) (← links)
- Linear delay enumeration and monadic second-order logic (Q967312) (← links)
- A note on partially ordered tree automata (Q975463) (← links)
- Tree pushdown automata (Q1058866) (← links)
- Macro tree transducers (Q1073576) (← links)
- Alternating tree automata (Q1077932) (← links)
- The greatest fixed-points and rational omega-tree languages (Q1082091) (← links)
- Reductions in tree replacement systems (Q1082092) (← links)
- Automata-theoretic techniques for modal logics of programs (Q1090675) (← links)
- Topological characterizations of infinite tree languages (Q1092675) (← links)
- On the relationship of congruence closure and unification (Q1124338) (← links)
- Tree transducers, L systems, and two-way machines (Q1136239) (← links)
- Machines in a category (Q1142850) (← links)
- Research in the theory of inductive inference by GDR mathematicians - A survey (Q1151889) (← links)
- Recognizable formal power series on trees (Q1164440) (← links)
- On rational definitions in complete algebras without rank (Q1171374) (← links)
- Systolic trees and systolic language recognition by tree automata (Q1172401) (← links)
- A regular characterization of graph languages definable in monadic second-order logic (Q1177179) (← links)
- Generalized automata on infinite trees and Muller-McNaughton's theorem (Q1178688) (← links)
- Multidimensional trees (Q1178697) (← links)
- Finite automata on directed graphs (Q1191024) (← links)
- Alphabetic tree relations (Q1193896) (← links)
- Surface tree languages and parallel derivation trees (Q1233730) (← links)
