Pages that link to "Item:Q2988364"
From MaRDI portal
The following pages link to Nominal Automata with Name Binding (Q2988364):
Displaying 7 items.
- From generic partition refinement to weighted tree automata minimization (Q1982644) (← links)
- Coalgebraic semantics for nominal automata (Q2104476) (← links)
- (Q5028487) (← links)
- (Q5089311) (← links)
- (Q5091269) (← links)
- A coalgebraic view on reachability (Q5218979) (← links)
- Generic partition refinement and weighted tree automata (Q6535955) (← links)