Pages that link to "Item:Q5308468"
From MaRDI portal
The following pages link to Foundations of Software Science and Computation Structures (Q5308468):
Displaying 9 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)
- A framework for the analysis of self-confirming policies (Q2125240) (← links)
- Bubble-free policy feedback rules (Q2271369) (← links)
- Chasing Ghosts: Competing with Stateful Policies (Q2968152) (← links)
- Separation logics and modalities: a survey (Q4586138) (← links)
- Global and Local Graph Modifiers (Q4982127) (← links)
- (Q5753592) (← links)