A Free Variable Sequent Calculus with Uniform Variable Splitting
Presentasjon av artikkelen A Free Variable Sequent Calculus with Uniform Variable Splitting under TABLEAUX 2003.
Foredrag
11. september 2003
TABLEAUX 2003, Roma, Italia
Presentasjon av artikkelen A Free Variable Sequent Calculus with Uniform Variable Splitting under TABLEAUX 2003.