Pages that link to "Item:Q4635603"
From MaRDI portal
The following pages link to Coinduction up-to in a fibrational setting (Q4635603):
Displayed 22 items.
- Relation lifting, a survey (Q299182) (← links)
- A general account of coinduction up-to (Q523132) (← links)
- Quantitative simulations by matrices (Q729815) (← links)
- Proving language inclusion and equivalence by coinduction (Q899321) (← links)
- A generalized partition refinement algorithm, instantiated to language equivalence checking for weighted automata (Q1797781) (← links)
- Predicate and relation liftings for coalgebras with side effects: an application in coalgebraic modal logic (Q2104473) (← links)
- Corecursion up-to via causal transformations (Q2104483) (← links)
- Diacritical companions (Q2133161) (← links)
- Combining semilattices and semimodules (Q2233397) (← links)
- Bisimulation and coinduction enhancements: a historical perspective (Q2280213) (← links)
- Companions, Codensity and Causality (Q2988363) (← links)
- (Q3121518) (← links)
- Up-To Techniques for Weighted Systems (Q3303913) (← links)
- (Q3385646) (← links)
- Coinductive predicates and final sequences in a fibration (Q4606703) (← links)
- Up-To Techniques for Behavioural Metrics via Fibrations (Q5009431) (← links)
- Convexity via Weak Distributive Laws (Q5060194) (← links)
- (Q5111636) (← links)
- (Q5155671) (← links)
- Enhanced coalgebraic bisimulation (Q5361143) (← links)
- Coinduction in Flow: The Later Modality in Fibrations (Q5875348) (← links)
- Up-to techniques for behavioural metrics via fibrations (Q6190392) (← links)