A characterization of alternating log time by ramified recurrence

Daniel Leivant, Jean-Yves Marion. A characterization of alternating log time by ramified recurrence. Theoretical Computer Science, 236(1-2):193-208, 2000. [doi]

Abstract

Abstract is missing.