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]

Abstract

Abstract is missing.