Pages that link to "Item:Q5705904"
From MaRDI portal
The following pages link to Foundations of Software Science and Computational Structures (Q5705904):
Displayed 15 items.
- A metrized duality theorem for Markov processes (Q283765) (← links)
- Proof systems for Moss' coalgebraic logic (Q402120) (← links)
- Presenting functors on many-sorted varieties and applications (Q618170) (← links)
- Coalgebraic semantics of modal logics: an overview (Q639647) (← links)
- Coalgebraic representations of distributive lattices with operators (Q869666) (← links)
- Stochastic coalgebraic logic: bisimilarity and behavioral equivalence (Q947269) (← links)
- Bialgebraic methods and modal logic in structural operational semantics (Q1012126) (← links)
- Steps and traces (Q1798791) (← links)
- Functorial Coalgebraic Logic: The Case of Many-sorted Varieties (Q2873668) (← links)
- Structural Operational Semantics and Modal Logic, Revisited (Q2919456) (← links)
- (Q5028440) (← links)
- Coalgebraic Geometric Logic: Basic Theory (Q5060182) (← links)
- Coalgebraic Modal Logic Beyond Sets (Q5262938) (← links)
- Duality of Equations and Coequations via Contravariant Adjunctions (Q5739450) (← links)
- Preservation and reflection of bisimilarity via invertible steps (Q6091202) (← links)