Talk
September 11, 2003
TABLEAUX 2003, Rome, Italy

A Free Variable Sequent Calculus with Uniform Variable Splitting

Presentation of the paper A Free Variable Sequent Calculus with Uniform Variable Splitting under TABLEAUX 2003.