Foredrag
11. september 2003
TABLEAUX 2003, Roma, Italia

A Free Variable Sequent Calculus with Uniform Variable Splitting

Presentasjon av artikkelen A Free Variable Sequent Calculus with Uniform Variable Splitting under TABLEAUX 2003.