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.
Foredrag
16. september 2005
TABLEAUX 2005, Koblenz, Germany
