Games on Trees and Syntactical Complexity of Formulas

Michal Krynicki, Jose Maria Turull Torres. Games on Trees and Syntactical Complexity of Formulas. Logic Journal of the IGPL, 15(5-6):653-687, 2007. [doi]

Authors

Michal Krynicki

This author has not been identified. Look up 'Michal Krynicki' in Google

Jose Maria Turull Torres

This author has not been identified. Look up 'Jose Maria Turull Torres' in Google