Pages that link to "Item:Q5592253"
From MaRDI portal
The following pages link to Generalized finite automata theory with an application to a decision problem of second-order logic (Q5592253):
Displayed 29 items.
- A Büchi-like theorem for weighted tree automata over multioperator monoids (Q692910) (← links)
- Hierarchies of weak automata and weak monadic formulas (Q805253) (← links)
- Deciding Boolean algebra with Presburger arithmetic (Q861705) (← links)
- XML schema, tree logic and sheaves automata (Q862561) (← links)
- Inessential features, ineliminable features, and modal logics for model theoretic syntax (Q1006492) (← links)
- Determinacy of sinking automata on infinite trees and inequalities between various Rabin's pair indices (Q1068544) (← links)
- On two families of forests (Q1323385) (← links)
- Querying linguistic treebanks with monadic second-order logic in linear time (Q1770837) (← links)
- Characterization of tree automata based on quantum logic (Q2113952) (← links)
- A Kleene theorem for weighted tree automata over distributive multioperator monoids (Q2272217) (← links)
- Algebraic properties of complete residuated lattice valued tree automata (Q2392561) (← links)
- Weighted logics for unranked tree automata (Q2429720) (← links)
- Similarity-based minimization of fuzzy tree automata (Q2634346) (← links)
- Pushdown tree automata (Q3036724) (← links)
- Nested Sibling Tree Automata (Q3625699) (← links)
- Regular prefix relations (Q3763605) (← links)
- Le théorème de transversale rationnelle dans les langages d'arbres (Q3883537) (← links)
- Stochastic grammars and languages (Q4045668) (← links)
- Bottom-up and top-down tree transformations— a comparison (Q4102764) (← links)
- Cascades of tree-automata and computations in universal algebras (Q4404146) (← links)
- Transductions of dags and trees (Q4742320) (← links)
- (Q4852905) (← links)
- Mappings and grammars on trees (Q5603192) (← links)
- Some structural properties of generalized automata and algebras (Q5633930) (← links)
- Some results in tree automata (Q5663377) (← links)
- A medvedev characterization of sets recognized by generalized finite automata (Q5682255) (← links)
- Automata terms in a lazy \(\mathrm{WS}k\mathrm{S}\) decision procedure (Q5918382) (← links)
- Automata terms in a lazy \(\mathrm{WS}k\mathrm{S}\) decision procedure (Q5919501) (← links)
- Weighted tree automata with constraints (Q6151146) (← links)