Conference Paper/Proceeding/Abstract 1268 views
Proofs-as-programs in computable analysis
Ulrich Berger 
Electronic Communications of the EASST, Volume: 23, Start page: 5 pp.
Swansea University Author:
Ulrich Berger
Abstract
Proofs-as-programs in computable analysis
| Published in: | Electronic Communications of the EASST |
|---|---|
| Published: |
2009
|
| URI: | https://cronfa.swan.ac.uk/Record/cronfa50 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Item Description: |
In AVOCS '09, Intnl. Workshop on Automated Verification of Critical Systems, Gregynog, United Kingdom |
|---|---|
| College: |
Faculty of Science and Engineering |
| Start Page: |
5 pp. |