Pages that link to "Item:Q5308468"
From MaRDI portal
The following pages link to Foundations of Software Science and Computation Structures (Q5308468):
Displayed 5 items.
- Connectivity games over dynamic networks (Q391110) (← links)
- Reasoning about permitted announcements (Q652739) (← links)
- Logical dynamics of some speech acts that affect obligations and preferences (Q1024131) (← links)
- Separation logics and modalities: a survey (Q4586138) (← links)
- Global and Local Graph Modifiers (Q4982127) (← links)