Pages that link to "Item:Q5310661"
From MaRDI portal
The following pages link to Logics for Unranked Trees: An Overview (Q5310661):
Displayed 10 items.
- Temporal logics for concurrent recursive programs: satisfiability and model checking (Q472794) (← links)
- A Büchi-like theorem for weighted tree automata over multioperator monoids (Q692910) (← links)
- Dominance constraints in stratified context unification (Q845917) (← links)
- Bottom-up unranked tree-to-graph transducers for translation into semantic graphs (Q2029483) (← links)
- Regular expressions for data words (Q2353403) (← links)
- Weighted logics for unranked tree automata (Q2429720) (← links)
- Capturing MSO with One Quantifier (Q2947170) (← links)
- Tree Automata with Global Constraints (Q3533021) (← links)
- Tree Pattern Rewriting Systems (Q3540083) (← links)
- Streamable Fragments of Forward XPath (Q5200047) (← links)