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.
Talk
September 11, 2003
TABLEAUX 2003, Rome, Italy
Presentation of the paper A Free Variable Sequent Calculus with Uniform Variable Splitting under TABLEAUX 2003.