Conference
A constructive function-theoretic approach to topological compactness
| Τίτλος: | A constructive function-theoretic approach to topological compactness |
|---|---|
| Συγγραφείς: | Petrakis, Iosif |
| Πηγή: | 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) |
| Βάση Δεδομένων: | IEEE Xplore Digital Library |
| ISBN: | 9781450343916 |
|---|---|
| ISSN: | 25755528 |