Pages that link to "Item:Q2847823"
From MaRDI portal
The following pages link to Automata and fixed point logics for coalgebras (Q2847823):
Displaying 13 items.
- Categorical Büchi and parity conditions via alternating fixed points of functors (Q1798796) (← links)
- Automata and fixed point logic: a coalgebraic perspective (Q2495648) (← links)
- Structured coalgebras and minimal HD-automata for the \(\pi\)-calculus (Q2566037) (← links)
- Coalgebraic Semantics of Heavy-Weighted Automata (Q2787337) (← links)
- Predicate liftings versus nabla modalities (Q2873669) (← links)
- Complementation of Coalgebra Automata (Q2888479) (← links)
- Stream Automata Are Coalgebras (Q2914678) (← links)
- (Q3204454) (← links)
- Coalgebraic Automata Theory: Basic Results (Q3623006) (← links)
- (Q4536393) (← links)
- AUTOMATA AND TREE AUTOMATA AS (F<sub>1</sub>, F<sub>2</sub>)-COALGEBRAS (Q5324145) (← links)
- Coalgebras for Bisimulation of Weighted Automata over Semirings (Q5883750) (← links)
- Coalgebraic satisfiability checking for arithmetic \(\mu\)-calculi (Q6597959) (← links)