Petrakis, I. (2016). A constructive function-theoretic approach to topological compactness. 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.
Παραπομπή σε μορφή Chicago (17η εκδ.)Petrakis, Iosif. "A Constructive Function-theoretic Approach to Topological Compactness." 2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Logic in Computer Science (LICS), 2016 31st Annual ACM/IEEE Symposium on 2016: 1.
Παραπομπή σε μορφή MLA (9th εκδ.)Petrakis, Iosif. "A Constructive Function-theoretic Approach to Topological Compactness." 2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Logic in Computer Science (LICS), 2016 31st Annual ACM/IEEE Symposium on, 2016, p. 1.