Anzahl der Publikationen: 8
Zeitschriftenartikel
Buchbeitrag
Petrakis, Iosif
(2016):
The Urysohn Extension Theorem for Bishop Spaces.
In:
Logical Foundations of Computer Science: International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings. Lecture Notes in Computer Science, Bd. 9537. Cham: Springer. S. 299-316
Petrakis, Iosif
(2016):
A Direct Constructive Proof of a Stone-Weierstrass Theorem for Metric Spaces.
In: Beckmann, Arnold; Bienvenu, Laurent und Jonoska, Nataša (Hrsg.):
Pursuit of the Universal. 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings. Theoretical Computer Science and General Issues, Bd. 9709. Cham: Springer. S. 364-374
Konferenzbeitrag
Petrakis, Iosif
(2016):
A constructive function-theoretic approach to topological compactness.
31st Annual ACM/IEEE Symposium on Logic in Computer Science LICS '16, New York, NY, USA, July 05 - 08, 2016.
In: Proceedings of the 31St Annual Acm-Ieee Symposium On Logic in Computer Science (LICS 2016),
New York: Association for Computing Machinery. S. 605-614
Diese Liste wurde am
Sat Mar 23 19:30:24 2024 CET
erstellt.