scientific article; zbMATH DE number 3630694
From MaRDI portal
Publication:4192035
zbMath0406.03016MaRDI QIDQ4192035
Publication date: 1978
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Proof-Theoretic AnalysisInverse MethodMechanical Theorem ProvingComplexity of DerivationsElimination of Cut RulesGentzen-Type CalculusResolution Method
Mechanization of proofs and logical operations (03B35) Cut-elimination and normal-form theorems (03F05) Complexity of proofs (03F20)
Related Items
This page was built for publication: