Login / Signup

On the Correspondence between Display Postulates and Deep Inference in Nested Sequent Calculi for Tense Logics

Rajeev GoréLinda PostnieceAlwen Tiu
Published in: Log. Methods Comput. Sci. (2011)
Keyphrases