Validating Brouwer's Continuity Principle for Numbers Using Named Exceptions

RAHLI, Vincent; Bickford, Mark

doi:10.1017/S0960129517000172

Télécharger

Article (Périodiques scientifiques)

Validating Brouwer's Continuity Principle for Numbers Using Named Exceptions

RAHLI, Vincent; Bickford, Mark

2017 • In Mathematical Structures in Computer Science

Peer reviewed

Permalien
https://hdl.handle.net/10993/33894

DOI
10.1017/S0960129517000172

Documents (1)Envoyer vers Détails Statistiques Bibliographie Publications similaires

Documents

Texte intégral

continuity-journal-mscs.pdf

Preprint Auteur (890.9 kB)

Télécharger

Tous les documents dans ORBilu sont protégés par une licence d'utilisation.

Envoyer vers

RIS BibTex APA Chicago Permalink X Linkedin

Détails

Disciplines :

Sciences informatiques

Auteur, co-auteur :

RAHLI, Vincent ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)

Bickford, Mark

Co-auteurs externes :

yes

Langue du document :

Anglais

Titre :

Validating Brouwer's Continuity Principle for Numbers Using Named Exceptions

Date de publication/diffusion :

2017

Titre du périodique :

Mathematical Structures in Computer Science

Peer reviewed :

Peer reviewed

Projet FnR :

FNR8149128 - Strategic Rtnd Program On Information Infrastructure Security And Dependability, 2014 (01/01/2015-31/12/2021) - Marcus Völp

Disponible sur ORBilu :

depuis le 10 janvier 2018

Statistiques

Nombre de vues

128 (dont 3 Unilu)

Nombre de téléchargements

207 (dont 1 Unilu)

Voir plus de statistiques

citations Scopus^®

citations Scopus^®
sans auto-citations

citations OpenAlex

citations WoS^™