Pages that link to "Item:Q1799081"
From MaRDI portal
The following pages link to Uniform substitution for differential game logic (Q1799081):
Displaying 5 items.
- A complete uniform substitution calculus for differential dynamic logic (Q1707599) (← links)
- Constructive hybrid games (Q2096468) (← links)
- Uniform substitution at one Fell swoop (Q2305431) (← links)
- Constructive Game Logic (Q5041088) (← links)
- Uniform Substitution for Differential Game Logic (Q6300415) (← links)