The following pages link to Automata theory in nominal sets (Q2878750):
Displayed 10 items.
- Regular and context-free nominal traces (Q530218) (← links)
- Simple and subdirectly irreducible finitely supported \(Cb\)-sets (Q1680555) (← links)
- Completeness and incompleteness in nominal Kleene algebra (Q2401017) (← links)
- Coverability Trees for Petri Nets with Unordered Data (Q2811357) (← links)
- Decidability Border for Petri Nets with Data: WQO Dichotomy Conjecture (Q2822649) (← links)
- Nominal Automata with Name Binding (Q2988364) (← links)
- Nominal Kleene Coalgebra (Q3449483) (← links)
- A Dichotomy for First-Order Reducts of Unary Structures (Q4643958) (← links)
- (Q4643959) (← links)
- $$\mathbb {N}$$ -Memory Automata over the Alphabet $$\mathbb {N}$$ (Q5738989) (← links)