Optimized program extraction for induction and coinduction

DOI10.1007/978-3-319-94418-0_7OpenAlexW2810388871MaRDI QIDQ1670722

Olga Petrovska, Ulrich Berger

Publication date: 6 September 2018

Full work available at URL: https://cronfa.swan.ac.uk/Record/cronfa39885

Mathematics Subject Classification ID

Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (4)

Extracting total Amb programs from proofs ⋮ Intuitionistic fixed point logic ⋮ On the Constructive and Computational Content of Abstract Mathematics ⋮ \textsc{Prawf}: an interactive proof system for program extraction

Uses Software

• Minlog

This page was built for publication: Optimized program extraction for induction and coinduction