Pages that link to "Item:Q2948557"
From MaRDI portal
The following pages link to Coalgebraic Trace Semantics via Forgetful Logics (Q2948557):
Displaying 17 items.
- Quantitative simulations by matrices (Q729815) (← links)
- Coalgebraic minimization of automata by initiality and finality (Q1744392) (← links)
- Predicate and relation liftings for coalgebras with side effects: an application in coalgebraic modal logic (Q2104473) (← links)
- Initial algebras and final coalgebras consisting of nondeterministic finite trace strategies (Q2134814) (← links)
- Iterated covariant powerset is not a monad (Q2134821) (← links)
- Combining semilattices and semimodules (Q2233397) (← links)
- Trace semantics via determinization (Q2341701) (← links)
- Coalgebraic trace semantics via forgetful logics (Q2974794) (← links)
- (Q4608676) (← links)
- Convexity via Weak Distributive Laws (Q5060194) (← links)
- Coalgebraic Infinite Traces and Kleisli Simulations (Q5275359) (← links)
- Generic Trace Semantics via Coinduction (Q5453504) (← links)
- Algebra and Coalgebra in Computer Science (Q5492823) (← links)
- Duality of Equations and Coequations via Contravariant Adjunctions (Q5739450) (← links)
- (Q5875398) (← links)
- Graded monads and behavioural equivalence games (Q6649498) (← links)
- Graded semantics and graded logics for Eilenberg-Moore coalgebras (Q6666776) (← links)