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: 4.

Journal article

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 Thu Jun 4 23:59:13 2020 CEST.