Solution Complexity of Local Variants of Sabotage Game
Publisher
Springer Singapore
Reference29 articles.
1. Areces, C., R. Fervari, and G. Hoffmann. 2012. Moving arrows and four model checking results. Logic, Language, Information and Computation.
2. Areces, C., R. Fervari, and G. Hoffmann. 2014. Swap logic. Logic Journal of Igpl 22 (2): 309–332.
3. Areces, C., D. Figueira, D. Gorín, and S. Mera. 2009. Tableaux and model checking for memory logics. In International conference on automated reasoning with analytic tableaux and related methods.
4. Areces, C. and J. van Benthem. 2019. The logic of stepwise removal.
5. Aucher, G., P. Balbiani, L.F.D. Cerro and A. Herzig. 2009. Global and local graph modifiers. Electronic Notes in Theoretical Computer Science 231 (none): 293–307.