Pages that link to "Item:Q2994480"

The following pages link to Coalgebraic Logic over Measurable Spaces: Behavioral and Logical Equivalence (Q2994480):

Displaying 3 items.

• A stochastic interpretation of game logic (Q516033) (← links)
• Generic Infinite Traces and Path-Based Coalgebraic Temporal Logics (Q2919451) (← links)
• Coalgebraic logic over general measurable spaces – a survey (Q3005987) (← links)