The following pages link to Automata vs. Logics on Data Words (Q3586037):
Displaying 6 items.
- Nominal monoids (Q372971) (← links)
- Regular and context-free nominal traces (Q530218) (← links)
- Regular expressions for data words (Q2353403) (← links)
- Nominal Automata for Resource Usage Control (Q2914700) (← links)
- Extending two-variable logic on data trees with order on data values and its automata (Q5410335) (← links)
- (Q5856426) (← links)
