Login / Signup

A new Recursion Induction Principle.

Gérard Boudol
Published in: Theoretical Computer Science (1979)
Keyphrases