Pages that link to "Item:Q3623006"
From MaRDI portal
The following pages link to Coalgebraic Automata Theory: Basic Results (Q3623006):
Displaying 31 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 constructions of canonical nondeterministic automata (Q890382) (← links)
- Coalgebraic minimization of automata by initiality and finality (Q1744392) (← links)
- Coalgebraic logics \& duality (Q1798781) (← links)
- A (co)algebraic theory of succinct automata (Q2423764) (← 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)
- Equational coalgebraic logic (Q2805164) (← links)
- Two-Way Automata in Coq (Q2829256) (← links)
- Automata and fixed point logics for coalgebras (Q2847823) (← links)
- Complementation of Coalgebra Automata (Q2888479) (← links)
- Generalizing the powerset construction, coalgebraically (Q2908856) (← links)
- Stream Automata Are Coalgebras (Q2914678) (← links)
- Sound and Complete Axiomatizations of Coalgebraic Language Equivalence (Q2946691) (← links)
- Generic Partition Refinement Algorithms for Coalgebras and an Instantiation to Weighted Automata (Q3190170) (← links)
- (Q3807272) (← links)
- (Q4536393) (← links)
- (Q4603451) (← links)
- (Q4608676) (← links)
- (Q5101351) (← links)
- Toward a Uniform Theory of Effectful State Machines (Q5121274) (← links)
- (Q5156442) (← links)
- (Q5875345) (← links)
- Coalgebras for Bisimulation of Weighted Automata over Semirings (Q5883750) (← links)
- On the size of disjunctive formulas in the \(\mu\)-calculus (Q6649531) (← links)
