Home

Raymond__Mcdowell


Cut-elimination for a logic with definitions and induction

Encoding Transition Systems in Sequent Calculus