Pushdown Games with Unboundedness and Regular Conditions

Alexis-Julien Bouquet, Olivier Serre, Igor Walukiewicz. Pushdown Games with Unboundedness and Regular Conditions. In Paritosh K. Pandya, Jaikumar Radhakrishnan, editors, FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science, 23rd Conference, Mumbai, India, December 15-17, 2003, Proceedings. Volume 2914 of Lecture Notes in Computer Science, pages 88-99, Springer, 2003. [doi]

Authors

Alexis-Julien Bouquet

This author has not been identified. Look up 'Alexis-Julien Bouquet' in Google

Olivier Serre

This author has not been identified. Look up 'Olivier Serre' in Google

Igor Walukiewicz

This author has not been identified. Look up 'Igor Walukiewicz' in Google