Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren
Datenschutzerklärungen
.
X
Login
Merkliste (
0
)
Startseite
Über uns
Startseite Über uns
Neues aus der SuUB
Geschichte der SuUB
Bibliotheksprofil
Presseinformationen
Freundeskreis
Die Bibliothek in Zahlen
Ausstellungen
Projekte
Ausbildung, Praktika und Stellenangebote
Filme zur Staats- und Universitätsbibliothek Bremen
Service & Beratung
Startseite Service & Beratung
Ausleihe & Fernleihe
Rückgabe & Verlängerung
Schulungen & Führungen
Mein Bibliothekskonto
Bibliotheksausweis
Neu in der Bibliothek?
Informationsmaterialien, Formulare und Pläne zum Download
Öffnungszeiten
Lernort Bibliothek
PC, WLAN, Kopieren, Scannen, Drucken
Kataloge & Sammlungen
Startseite Kataloge & Sammlungen
Historische Sammlungen
Digitale Sammlungen
Fachinformationen
Standorte
Startseite Standorte
Zentrale
Juridicum
Bereichsbibliothek Wirtschaftswissenschaft
Bereichsbibliothek Physik / Elektrotechnik
Teilbibliothek Technik und Sozialwesen
Teilbibliothek Wirtschaft und Nautik
Teilbibliothek Musik
Teilbibliothek Kunst
Teilbibliothek Bremerhaven
Kontakt
Startseite Kontakt
Liste der Ansprechpartner
Open Access & Publizieren
Startseite Open Access & Publizieren
Literaturverwaltung
Literatur Publizieren
Open Access in Bremen
Toggle navigation
Petrakis, Iosif
5
Ergebnisse:
Artikel (Online) X
Personensuche
X
Sortierung: Relevanz
Sortierung: Jahr
?
1
Strict computability models over categories and presheaves:
Petrakis, Iosif
Journal of Logic and Computation. 32 (2022) 8 - p. 1815-1838 , 2022
Link:
https://doi.org/10.1093/..
?
2
Closed subsets in Bishop topological groups:
Petrakis, Iosif
Theoretical Computer Science. 935 (2022) - p. 128-143 , 2022
Link:
https://doi.org/10.1016/..
?
3
Proof-relevance in Bishop-style constructive mathematics:
Petrakis, Iosif
Mathematical Structures in Computer Science. 32 (2022) 1 - p. 1-43 , 2022
Link:
https://doi.org/10.1017/..
?
4
Embeddings of Bishop spaces:
Petrakis, Iosif
Journal of Logic and Computation. 30 (2020) 1 - p. 349-379 , 2020
Link:
https://doi.org/10.1093/..
?
5
Limit spaces with approximations:
Petrakis, Iosif
Annals of Pure and Applied Logic. 167 (2016) 9 - p. 737-752 , 2016
Link:
https://doi.org/10.1016/..
1-5