scientific article; zbMATH DE number 1765700

MaRDI QIDQ4539641zbMATHFDO

Authors Uwe Egly, Stephan Schmitt

Publication date 10 July 2002

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2083/20830561

Mathematics Subject Classification ID

Logic in computer science (03B70) Structure of proofs (03F07)

Recommendations

• Extraction and verification of programs by analysis of formal proofs
• scientific article; zbMATH DE number 749923
• Proofs and programs: A naïve approach to program extraction
• scientific article; zbMATH DE number 1222428
• scientific article; zbMATH DE number 2003148

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 Q4539641)