Login / Signup

Cut-free Gentzen calculus for multimodal CK.

Michael MendlerStephan Scheele
Published in: Inf. Comput. (2011)
Keyphrases