Journal article 1166 views 188 downloads
Finite choice, convex choice and finding roots
Stephane Le Roux,
Arno Pauly 
Logical Methods in Computer Science, Volume: 11, Issue: 4
Swansea University Author:
Arno Pauly
DOI (Published version): 10.2168/LMCS-11(4:6)2015
Abstract
Finite choice, convex choice and finding roots
| Published in: | Logical Methods in Computer Science |
|---|---|
| ISSN: | 18605974 |
| Published: |
2015
|
| Online Access: |
Check full text
|
| URI: | https://cronfa.swan.ac.uk/Record/cronfa36021 |
| College: |
Faculty of Science and Engineering |
|---|---|
| Issue: |
4 |