Login / Signup

Cut-Rule Axiomatization of the Syntactic Calculus L0.

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