Pages that link to "Item:Q5431341"
From MaRDI portal
The following pages link to Mathematical Foundations of Computer Science 2003 (Q5431341):
Displaying 14 items.
- Connectivity games over dynamic networks (Q391110) (← links)
- Moving in a network under random failures: a complexity analysis (Q433350) (← links)
- An algorithmic analysis of the Honey-Bee game (Q714789) (← links)
- \(\mathsf{QCTL}\) model-checking with \(\mathsf{QBF}\) solvers (Q821566) (← links)
- On sabotage games (Q1785757) (← links)
- Complexity of question/answer games (Q2378516) (← links)
- The modal logic of copy and remove (Q2401633) (← links)
- A game theoretic approach to the analysis of dynamic networks (Q2864354) (← links)
- Sabotage Modal Logic: Some Model and Proof Theoretic Aspects (Q3457681) (← links)
- Modal logics of sabotage revisited (Q4612406) (← links)
- THE MODAL LOGIC OF STEPWISE REMOVAL (Q5065135) (← links)
- Quantitative games under failures (Q5275375) (← links)
- Copy and remove as dynamic operators (Q5861999) (← links)
- The modal logics of the poison game (Q6601761) (← links)