scientific article; zbMATH DE number 1765700

zbMATH Open0988.03086MaRDI QIDQ4539641FDOQ4539641

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

Title of this publication is not available (Why is that?)

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

Mathematics Subject Classification ID

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

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)