Pages that link to "Item:Q2104476"
From MaRDI portal
The following pages link to Coalgebraic semantics for nominal automata (Q2104476):
Displaying 5 items.
- Coalgebraic Semantics of Heavy-Weighted Automata (Q2787337) (← links)
- Symbolic and Asynchronous Semantics via Normalized Coalgebras (Q3003325) (← links)
- Coalgebraic Automata Theory: Basic Results (Q3623006) (← links)
- (Q4608676) (← links)
- Coalgebras for Bisimulation of Weighted Automata over Semirings (Q5883750) (← links)