Hao Wang's contributions to mechanized deduction and to the Entscheidungsproblem
From MaRDI portal
Publication:2845892
Recommendations
- scientific article; zbMATH DE number 1975397
- On the mechanization of the proof of Hessenberg's theorem in coherent logic
- Some applications of Gentzen's proof theory in automated deduction
- From Schütte’s Formal Systems to Modern Automated Deduction
- Automated deduction in von Neumann-Bernays-Gödel set theory
- scientific article; zbMATH DE number 1341475
- On a connection between the word problem and decidability of the equational theory
- scientific article; zbMATH DE number 549074
- Hilbert programme and applied proof theory
This page was built for publication: Hao Wang's contributions to mechanized deduction and to the Entscheidungsproblem
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2845892)