Pages that link to "Item:Q2908856"
From MaRDI portal
The following pages link to Generalizing the powerset construction, coalgebraically (Q2908856):
Displaying 26 items.
- A general account of coinduction up-to (Q523132) (← links)
- Towards the critical problem: On the coalgebraic relation between sets and multisets (Q685583) (← links)
- The powerset operator on abstract interpretations (Q1960538) (← links)
- Bialgebraic foundations for the operational semantics of string diagrams (Q2051792) (← links)
- Corecursion up-to via causal transformations (Q2104483) (← links)
- Bisimulation and coinduction enhancements: a historical perspective (Q2280213) (← links)
- Trace semantics via determinization (Q2341701) (← links)
- Context-free coalgebras (Q2341705) (← links)
- A (co)algebraic theory of succinct automata (Q2423764) (← links)
- Sound and Complete Axiomatizations of Coalgebraic Language Equivalence (Q2946691) (← links)
- Companions, Codensity and Causality (Q2988363) (← links)
- Final Semantics for Decorated Traces (Q3178274) (← links)
- Powerset Residuated Algebras and Generalized Lambek Calculus (Q4333470) (← links)
- Termination in Convex Sets of Distributions (Q4558786) (← links)
- (Q4944948) (← links)
- (Q5028485) (← links)
- (Q5094151) (← links)
- (Q5111636) (← links)
- (Q5155671) (← links)
- Simplified Coalgebraic Trace Equivalence (Q5256339) (← links)
- Algebra-coalgebra duality in brzozowski's minimization algorithm (Q5410330) (← links)
- Initial Algebras of Terms with Binding and Algebraic Structure (Q5414966) (← links)
- Sound and Complete Axiomatization of Trace Semantics for Probabilistic Systems (Q5739363) (← links)
- Product Rules and Distributive Laws (Q5739452) (← links)
- Minimisation in logical form (Q6612779) (← links)
- Graded semantics and graded logics for Eilenberg-Moore coalgebras (Q6666776) (← links)
