Login / Signup
Generic Methods for Formalising Sequent Calculi Applied to Provability Logic.
Jeremy E. Dawson
Rajeev Goré
Published in:
LPAR (Yogyakarta) (2010)
Keyphrases
</>
significant improvement