Validating Brouwer's Continuity Principle for Numbers Using Named Exceptions

Article (Scientific journals)

Rahli, Vincent; Bickford, Mark

2017 • In Mathematical Structures in Computer Science

Peer reviewed

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

DOI
10.1017/S0960129517000172

continuity-journal-mscs.pdf

Author preprint (890.9 kB)

All documents in ORBilu are protected by a user license.

Disciplines :

Computer science

Author, co-author :

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

Bickford, Mark

External co-authors :

yes

Language :

English

Title :

Validating Brouwer's Continuity Principle for Numbers Using Named Exceptions

Publication date :

2017

Journal title :

Mathematical Structures in Computer Science

Peer reviewed :

Peer reviewed

FnR Project :

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

Available on ORBilu :

since 10 January 2018

Number of views

82 (3 by Unilu)

Number of downloads

181 (1 by Unilu)

Scopus citations^®

Scopus citations^®
without self-citations

WoS citations^™