Pages that link to "Item:Q2892775"
From MaRDI portal
The following pages link to On Nominal Regular Languages with Binders (Q2892775):
Displaying 8 items.
- Regular and context-free nominal traces (Q530218) (← links)
- A Class of Automata for the Verification of Infinite, Resource-Allocating Behaviours (Q2811927) (← links)
- Nominal Automata with Name Binding (Q2988364) (← links)
- Nominal Kleene Coalgebra (Q3449483) (← links)
- (Q5028487) (← links)
- (Q5089311) (← links)
- (Q5091269) (← links)
- A Theory of Formal Choreographic Languages (Q6135778) (← links)
