Login / Signup

Generic Methods for Formalising Sequent Calculi Applied to Provability Logic.

Jeremy E. DawsonRajeev Goré
Published in: LPAR (Yogyakarta) (2010)
Keyphrases
  • significant improvement