Login / Signup

Cut-Rule Axiomatization of the Syntactic Calculus NL0.

Wojciech Zielonka
Published in: J. Log. Lang. Inf. (2000)
Keyphrases