Solving Pushdown Games with a Sigma::3:: Winning Condition - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Thierry Cachat, Jacques Duparc, Wolfgang Thomas. Solving Pushdown Games with a Sigma::3:: Winning Condition. In Julian C. Bradfield, editor, Computer Science Logic, 16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, Edinburgh, Scotland, UK, September 22-25, 2002, Proceedings. Volume 2471 of Lecture Notes in Computer Science, pages 322-336, Springer, 2002. [doi]

This author has not been identified. Look up 'Thierry Cachat' in GoogleThis author has not been identified. Look up 'Jacques Duparc' in GoogleThis author has not been identified. Look up 'Wolfgang Thomas' in Google

runs on WebDSL