Authors: P. Mateus, J. Rasga, C. Sernadas
Contributors: The Pennsylvania State University CiteSeerX Archives
Superior Title: http://wslc.math.ist.utl.pt/ftp/pub/RasgaJ/04-MRS-fiblog20.pdf.
Subject Terms: Cut elimination, complexity of cut elimination, modal sequent calculus, labelled
File Description: application/pdf
Authors: João Rasga
Contributors: The Pennsylvania State University CiteSeerX Archives
Superior Title: http://wslc.math.ist.utl.pt/ftp/pub/RasgaJ/06-R-cut.pdf.
Subject Terms: Key words, Cut elimination, Complexity of cut elimination, Sequent calculus MSC, primary 03F05, 03F20, secondary 03F07, 03F03
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.64.5826; http://wslc.math.ist.utl.pt/ftp/pub/RasgaJ/06-R-cut.pdf
Availability: http://wslc.math.ist.utl.pt/ftp/pub/RasgaJ/06-R-cut.pdf