Pages that link to "Item:Q672316"
From MaRDI portal
The following pages link to On the greatest fixed point of a set functor (Q672316):
Displaying 23 items.
- On the final sequence of a finitary set functor (Q557796) (← links)
- Presenting functors on many-sorted varieties and applications (Q618170) (← links)
- A compositional approach to defining logics for coalgebras (Q703520) (← links)
- Category theory for operational semantics (Q703525) (← links)
- The category-theoretic solution of recursive program schemes (Q860876) (← links)
- On final coalgebras of continuous functors (Q1398459) (← links)
- Infinite trees and completely iterative theories: A coalgebraic view (Q1399957) (← links)
- A small final coalgebra theorem (Q1575951) (← links)
- Domain theory, testing and simulation for labelled Markov processes (Q1770416) (← links)
- A generalized partition refinement algorithm, instantiated to language equivalence checking for weighted automata (Q1797781) (← links)
- Coalgebraic modal logic: soundness, completeness and decidability of local consequence (Q1884901) (← links)
- Corecursion up-to via causal transformations (Q2104483) (← links)
- Structural operational semantics for continuous state stochastic transition systems (Q2341700) (← links)
- Algebraic-coalgebraic specification in CoCASL (Q2369034) (← links)
- On final coalgebras of power-set functors and saturated trees (Q2516577) (← links)
- Definability, Canonical Models, Compactness for Finitary Coalgebraic Modal Logic (Q2842556) (← links)
- Towards coalgebraic behaviourism (Q2842558) (← links)
- On Iteratable Endofunctors (Q2842827) (← links)
- Functorial Coalgebraic Logic: The Case of Many-sorted Varieties (Q2873668) (← links)
- Initial algebras and terminal coalgebras in many-sorted sets (Q3005994) (← links)
- Realization of Coinductive Types (Q5739360) (← links)
- (Q5875353) (← links)
- Coalgebras for Bisimulation of Weighted Automata over Semirings (Q5883750) (← links)
