Publication:4449203
From MaRDI portal
zbMath1039.68063MaRDI QIDQ4449203
Publication date: 8 February 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2719/27190556.htm
Related Items
Unnamed Item, Infinite games specified by 2-tape automata, A saturation method for the modal \(\mu \)-calculus over pushdown systems, Regular sets over extended tree structures, On first-order logic and CPDA graphs, Winning Regions of Pushdown Parity Games: A Saturation Method, An Automata-Theoretic Approach to Infinite-State Systems, Games on Higher Order Multi-stack Pushdown Systems