Publication:2842876
From MaRDI portal
zbMath1270.91017MaRDI QIDQ2842876
Publication date: 16 August 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066104805346
Related Items
Games with winning conditions of high Borel complexity, Reachability on prefix-recognizable graphs, Note on winning positions on pushdown games with \(\omega\)-regular conditions, Efficient CTL Model-Checking for Pushdown Systems, Games on Multi-stack Pushdown Systems, On Global Model Checking Trees Generated by Higher-Order Recursion Schemes, Games on Higher Order Multi-stack Pushdown Systems