Pages that link to "Item:Q1426447"
From MaRDI portal
The following pages link to An algebraic characterization of deterministic regular languages over infinite alphabets. (Q1426447):
Displaying 5 items.
- Nominal monoids (Q372971) (← links)
- A succinct canonical register automaton model (Q478388) (← links)
- Nondeterministic and co-nondeterministic implies deterministic, for data languages (Q2233422) (← links)
- Nominal Kleene Coalgebra (Q3449483) (← links)
- A Myhill-Nerode theorem for register automata and symbolic trace languages (Q5918650) (← links)
