Modular strategies for recursive game graphs

Rajeev Alur, Salvatore La Torre, P. Madhusudan. Modular strategies for recursive game graphs. Theoretical Computer Science, 354(2):230-249, 2006. [doi]

Authors

Rajeev Alur

This author has not been identified. It may be one of the following persons: Look up 'Rajeev Alur' in Google

Salvatore La Torre

This author has not been identified. Look up 'Salvatore La Torre' in Google

P. Madhusudan

This author has not been identified. Look up 'P. Madhusudan' in Google