Pages that link to "Item:Q5899087"
From MaRDI portal
The following pages link to Foundations of Software Science and Computation Structures (Q5899087):
Displaying 5 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)
