The following pages link to History-register automata (Q2800969):
Displaying 5 items.
- Layered memory automata: recognizers for quasi-regular languages with unbounded memory (Q2165231) (← links)
- Verification of Dynamic Register Automata (Q2978554) (← links)
- Nominal Automata with Name Binding (Q2988364) (← links)
- The Parametric Complexity of Lossy Counter Machines (Q5092331) (← links)
- Fast computations on ordered nominal sets (Q5918532) (← links)