Pages that link to "Item:Q5310688"
From MaRDI portal
The following pages link to Automata with Nested Pebbles Capture First-Order Logic with Transitive Closure (Q5310688):
Displaying 9 items.
- Two-way pebble transducers for partial functions and their composition (Q748432) (← links)
- Complementing deterministic tree-walking automata (Q845667) (← links)
- Automata for XML -- a survey (Q878749) (← links)
- Automata on finite trees (Q2074209) (← links)
- On defining linear orders by automata (Q2211260) (← links)
- Reversibility of computations in graph-walking automata (Q2216129) (← links)
- XML navigation and transformation by tree-walking automata and transducers with visible and invisible pebbles (Q2216430) (← links)
- Pebble Weighted Automata and Weighted Logics (Q5169971) (← links)
- Nested Pebbles and Transitive Closure (Q5449823) (← links)