Login / Signup

On the relationship between compact regularity and Gentzen's cut rule.

M. Andrew Moshier
Published in: Theor. Comput. Sci. (2004)
Keyphrases