Publication | Closed Access

A formal framework for specifying sequent calculus proof systems

EngineeringAutomated ReasoningVerificationFormal MethodsAutomated ProofComputer ScienceFormal FrameworkProof SystemFormal VerificationSequent Calculus