Similar Items: Coalgebraic Automata Theory: Basic Results
- Coalgebraic Geometric Logic: Basic Theory
- Generalizing determinization from automata to coalgebras
- Coalgebras for Bisimulation of Weighted Automata over Semirings
- Model Theory and Proof Theory of Coalgebraic Predicate Logic
- Fair Simulation for Nondeterministic and Probabilistic Buechi Automata: a Coalgebraic Perspective
- Automata theory in nominal sets