Journal article 1510 views
From coinductive proofs to exact real arithmetic: theory and applications
Ulrich Berger,
Reinhard Kahle
Logical Methods in Computer Science, Volume: 7, Issue: 1
Swansea University Author: Ulrich Berger
Full text not available from this repository: check for access using links below.
DOI (Published version): 10.2168/LMCS-7(1:8)2011
Abstract
From coinductive proofs to exact real arithmetic: theory and applications
| Published in: | Logical Methods in Computer Science |
|---|---|
| ISSN: | 1860-5974 |
| Published: |
Springer LNCS 5771
2011
|
| Online Access: |
Check full text
|
| URI: | https://cronfa.swan.ac.uk/Record/cronfa52 |
| Item Description: |
In CSL '09, Proc. 18th EACSL Annual Conference on Computer Science Logic, Coimbra, Portugal |
|---|---|
| College: |
Faculty of Science and Engineering |
| Issue: |
1 |