A Characterization of Alternating Log Time by First Order Functional Programs.

Guillaume Bonfante, Jean-Yves Marion, Romain Pchoux

Browse the full LPAR paper archive.