The following pages link to (Q4353626):
Displayed 6 items.
- Walking on data words (Q504989) (← links)
- Logical aspects of Cayley-graphs: the group case (Q705541) (← links)
- Some notes on graph automata, tiling systems and partition logic (Q1273066) (← links)
- Message-passing automata are expressively equivalent to EMSO logic (Q2503037) (← links)
- Weighted Automata and Logics on Infinite Graphs (Q2817384) (← links)
- Automata and Logics for Concurrent Systems: Five Models in Five Pages (Q2947404) (← links)