scientific article
From MaRDI portal
zbMath1244.03108MaRDI QIDQ3172530
Publication date: 5 October 2011
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
On the use (and abuse) of logic in game theory, Model-checking games for logics of imperfect information, Courcelle's theorem -- a game-theoretic approach, Practical algorithms for MSO model-checking on tree-decomposable graphs