Conference Paper/Proceeding/Abstract 1164 views
A computational interpretation of open induction
U Berger,
Ulrich Berger 
Pages: 326 - 334
Swansea University Author:
Ulrich Berger
Full text not available from this repository: check for access using links below.
DOI (Published version): 10.1109/LICS.2004.1319627
Abstract
A computational interpretation of open induction
| Published: |
2004
|
|---|---|
| URI: | https://cronfa.swan.ac.uk/Record/cronfa1703 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| College: |
Faculty of Science and Engineering |
|---|---|
| Start Page: |
326 |
| End Page: |
334 |