Login / Signup

Strong Cut-Elimination Systems for Hudelmaier's Depth-Bounded Sequent Calculus for Implicational Logic.

Roy DyckhoffDelia KesnerStéphane Lengrand
Published in: IJCAR (2006)
Keyphrases