Logo Logo

Publications by Petrakis, Iosif

Up a level
Export as [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Date
Number of items: 6.

Journal article

Petrakis, Iosif (2020): Embeddings of Bishop spaces. In: Journal of Logic and Computation, Vol. 30, No. 1: pp. 349-379

Petrakis, Iosif (2020): MCSHANE-WHITNEY EXTENSIONS IN CONSTRUCTIVE ANALYSIS. In: Logical Methods in Computer Science, Vol. 16, No. 1, 18

Petrakis, Iosif (2016): Limit spaces with approximations. In: Annals of Pure and Applied Logic, Vol. 167, No. 9: pp. 737-752

Book Section

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, Vol. 9537. Cham: Springer. pp. 299-316

Petrakis, Iosif (2016): A Direct Constructive Proof of a Stone-Weierstrass Theorem for Metric Spaces. In: Beckmann, Arnold; Bienvenu, Laurent; Jonoska, Nataša (eds.) : 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, Vol. 9709. Cham: Springer. pp. 364-374

Conference or Workshop Item

Petrakis, Iosif (2016): A constructive function-theoretic approach to topological compactness. 31st Annual ACM/IEEE Symposium on Logic in Computer Science LICS '16, July 05 - 08, 2016, New York, NY, USA.

This list was generated on Sun Aug 14 20:04:38 2022 CEST.