Pages that link to "Item:Q5899087"
From MaRDI portal
The following pages link to Foundations of Software Science and Computation Structures (Q5899087):
Displaying 16 items.
- On a categorical framework for coalgebraic modal logic (Q283748) (← links)
- Modalities in the Stone age: a comparison of coalgebraic logics (Q418820) (← links)
- Presenting functors on many-sorted varieties and applications (Q618170) (← links)
- Coalgebraic representations of distributive lattices with operators (Q869666) (← links)
- Bialgebraic methods and modal logic in structural operational semantics (Q1012126) (← links)
- Reductions and functors from problems to word problems (Q1566706) (← links)
- Equational coalgebraic logic (Q2805164) (← links)
- On products of transition systems (Q2873664) (← links)
- Functorial coalgebraic logic: the case of many-sorted varieties (Q2873668) (← links)
- Strongly complete logics for coalgebras (Q2914235) (← links)
- Structural operational semantics and modal logic, revisited (Q2919456) (← links)
- Coalgebraic Geometric Logic: Basic Theory (Q5060182) (← links)
- Coalgebraic Modal Logic Beyond Sets (Q5262938) (← links)
- Foundations of Software Science and Computational Structures (Q5705904) (← links)
- Many-valued coalgebraic logic over semi-primal varieties (Q6597956) (← links)
- Minimisation in logical form (Q6612779) (← links)