scientific article; zbMATH DE number 785043
From MaRDI portal
Publication:4842532
zbMath0856.03010MaRDI QIDQ4842532
Ulrich Berger, Helmut Schwichtenberg
Publication date: 26 September 1995
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
recursionnatural deductioninductionproof systemexistential quantifierextracted program of a derivationfragment of minimal logic
Other nonclassical logic (03B60) Mechanization of proofs and logical operations (03B35) Logic programming (68N17)
Related Items (4)
Towards the computational complexity of \(\mathcal{PR}^ \omega\)-terms ⋮ Deriving a Floyd-Hoare logic for non-local jumps from a formulæ-as-types notion of control ⋮ Unnamed Item ⋮ The greatest common divisor: A case study for program extraction from classical proofs
This page was built for publication:
