Pages that link to "Item:Q5705904"
From MaRDI portal
The following pages link to Foundations of Software Science and Computational Structures (Q5705904):
Displaying 22 items.
- A metrized duality theorem for Markov processes (Q283765) (← links)
- Proof systems for Moss' coalgebraic logic (Q402120) (← links)
- Modalities in the Stone age: a comparison of coalgebraic logics (Q418820) (← links)
- Presenting functors on many-sorted varieties and applications (Q618170) (← links)
- Coalgebraic semantics of modal logics: an overview (Q639647) (← links)
- Stone coalgebras (Q703523) (← 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)
- Dual systems of tableaux and sequents for PLTL (Q1035676) (← links)
- Steps and traces (Q1798791) (← links)
- Logic of transition systems (Q1895974) (← links)
- Stone coalgebras (Q2843727) (← links)
- Functorial coalgebraic logic: the case of many-sorted varieties (Q2873668) (← links)
- Structural operational semantics and modal logic, revisited (Q2919456) (← links)
- (Q3781072) (← 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)
- Many-valued coalgebraic logic over semi-primal varieties (Q6597956) (← links)
- Minimisation in logical form (Q6612779) (← links)