Refined program extraction from classical proofs: Some case studies

zbMATH Open0995.68015MaRDI QIDQ2752052FDOQ2752052

Authors: Helmut Schwichtenberg 

Publication date: 21 October 2001

Recommendations

• Refined program extraction from classical proofs
• scientific article; zbMATH DE number 895269
• Getting results from programs extracted from classical proofs
• Programs from proofs using classical dependent choice
• Practical program extraction from classical proofs

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Cited In (12)

• A large-scale experiment in executing extracted programs
• Program extraction from large proof developments
• Programs from proofs using classical dependent choice
• Extraction of a program from deduction and its regularity. I
• Program extraction from classical proofs
• Refinement of classical proofs for program extraction
• Getting results from programs extracted from classical proofs
• Refined program extraction from classical proofs
• Light Dialectica program extraction from a classical Fibonacci proof
• Practical program extraction from classical proofs
• Title not available (Why is that?)
• Studies of a theory of specifications with built-in program extraction

This page was built for publication: Refined program extraction from classical proofs: Some case studies

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