Skip to content

Ramified Recurrence and Computational Complexity II: Substitution and Poly-Space.

Daniel Leivant, Jean-Yves Marion

VenueBCSL
Year1994
ProceedingsCSL

Browse the full CSL paper archive.