Conference
A constructive function-theoretic approach to topological compactness
| Title: | A constructive function-theoretic approach to topological compactness |
|---|---|
| Authors: | Petrakis, Iosif |
| Source: | 2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) Logic in Computer Science (LICS), 2016 31st Annual ACM/IEEE Symposium on. :1-10 Jul, 2016 |
| Relation: | 2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) |
| Database: | IEEE Xplore Digital Library |
| ISBN: | 9781450343916 |
|---|---|
| ISSN: | 25755528 |