Login / Signup

A Computational Interpretation of Open Induction.

Ulrich Berger
Published in: LICS (2004)
Keyphrases