Pages that link to "Item:Q3623006"
From MaRDI portal
The following pages link to Coalgebraic Automata Theory: Basic Results (Q3623006):
Displayed 11 items.
- Proof systems for Moss' coalgebraic logic (Q402120) (← links)
- Modalities in the Stone age: a comparison of coalgebraic logics (Q418820) (← links)
- Subsequential transducers: a coalgebraic perspective (Q618167) (← links)
- Completeness for flat modal fixpoint logics (Q638475) (← links)
- Coalgebraic semantics of modal logics: an overview (Q639647) (← links)
- Generic weakest precondition semantics from monads enriched with order (Q890376) (← links)
- Coalgebraic logics \& duality (Q1798781) (← links)
- Equational Coalgebraic Logic (Q2805164) (← links)
- Complementation of Coalgebra Automata (Q2888479) (← links)
- (Q4603451) (← links)
- (Q5101351) (← links)