Ramified Corecurrence and Logspace

Ramyaa Ramyaa, Daniel Leivant. Ramified Corecurrence and Logspace. Electronic Notes in Theoretical Computer Science, 276:247-261, 2011. [doi]

Bibliographies