Foredrag
16. september 2005
TABLEAUX 2005, Koblenz, Germany

Consistency of Variable Splitting in Free Variable Systems of First-order Logic

Presentasjon av artikkelen Consistency of Variable Splitting in Free Variable Systems of First-Order Logic under Automated Reasoning with Analytic Tableaux and Related Methods 2005.