Pages that link to "Item:Q5716799"
From MaRDI portal
The following pages link to Automata, Languages and Programming (Q5716799):
Displaying 11 items.
- Regular families of forests, antichains and duality pairs of relational structures (Q681598) (← links)
- Automata for XML -- a survey (Q878749) (← links)
- Reasoning about XML with temporal logics and automata (Q975873) (← links)
- Weighted logics for unranked tree automata (Q2429720) (← links)
- Logics for Unordered Trees with Data Constraints on Siblings (Q2799171) (← links)
- Weighted Unranked Tree Automata over Tree Valuation Monoids and Their Characterization by Weighted Logics (Q2947150) (← links)
- Characterization of Logics over Ranked Tree Languages (Q3540193) (← links)
- Pattern logics and auxiliary relations (Q4635625) (← links)
- Logical definability and query languages over ranked and unranked trees (Q5277776) (← links)
- Term Rewriting and Applications (Q5703872) (← links)
- Ramsey quantifiers over automatic structures: complexity and applications to verification (Q6649458) (← links)