Login / Signup

Induce-Statements and Induce-Expressions: Constructs for Inductive Programming.

Theodore S. Norvell
Published in: FSTTCS (1993)
Keyphrases