Pages that link to "Item:Q2105468"
From MaRDI portal
The following pages link to Bounded game-theoretic semantics for modal mu-calculus (Q2105468):
Displaying 5 items.
- On the equivalence of game and denotational semantics for the probabilistic \(\mu\)-calculus (Q2888508) (← links)
- (Q2968408) (← links)
- (Q4263866) (← links)
- Innocent game models of untyped \(\lambda\)-calculus (Q5958298) (← links)
- Bounded game-theoretic semantics for modal mu-calculus (Q6287416) (← links)