Anzahl der Publikationen: 11
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
ORCID: https://orcid.org/0000-0002-4121-7455 und Wessel, Daniel
ORCID: https://orcid.org/0000-0002-6768-4457
(2022):
Algebras of Complemented Subsets.
18th Conference on Computability in Europe (CiE 2022), Swansea, UK, July 11–15, 2022.
Berger, Ulrich; Franklin, Johanna N. Y.; Manea, Florin und Pauly, Arno (Hrsg.):
In: Revolutions and Revelations in Computability. 18th Conference on Computability in Europe, CiE 2022, Swansea, UK, July 11–15, 2022, Proceedings, Lecture Notes in Computer Science
Bd. 13359
Cham: Springer. S. 246-258
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
Sun Aug 11 01:20:27 2024 CEST
erstellt.