scientific article; zbMATH DE number 1114024

MaRDI QIDQ4375794zbMATH OpenFDO

Authors Barbara Kauffmann

Publication date 1 March 1998

zbMATH Keywords

extracting functions from proofs

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) First-order arithmetic and fragments (03F30)

Cited in

(2)

• Witnessing functions in bounded arithmetic and search problems
• Improved witnessing and local improvement principles for second-order bounded arithmetic

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4375794)