Pages that link to "Item:Q5705903"
From MaRDI portal
The following pages link to Foundations of Software Science and Computational Structures (Q5705903):
Displaying 19 items.
- Expressive logics for coalgebras via terminal sequence induction (Q558417) (← links)
- A coalgebraic approach to the semantics of the ambient calculus (Q860882) (← links)
- On minimal coalgebras (Q934670) (← links)
- A computer-verified monadic functional implementation of the integral (Q987984) (← links)
- Copower functors (Q1006640) (← links)
- Bialgebraic methods and modal logic in structural operational semantics (Q1012126) (← links)
- Predicate liftings and functor presentations in coalgebraic expression languages (Q1798785) (← links)
- Expressivity of coalgebraic modal logic: the limits and beyond (Q2474056) (← links)
- A finite model construction for coalgebraic modal logic (Q2643335) (← links)
- Expressivity of Many-Valued Modal Logics, Coalgebraically (Q2820688) (← links)
- Modular games for coalgebraic fixed point logics (Q2873663) (← links)
- Predicate liftings versus nabla modalities (Q2873669) (← links)
- Structural operational semantics and modal logic, revisited (Q2919456) (← links)
- Interacting with Modal Logics in the Coq Proof Assistant (Q3194730) (← links)
- Coalgebraic Geometric Logic: Basic Theory (Q5060182) (← links)
- Coalgebraic Modal Logic Beyond Sets (Q5262938) (← links)
- Practical coinduction (Q5361147) (← links)
- Algebra and Coalgebra in Computer Science (Q5492825) (← links)
- (Q5875347) (← links)