Reference : Validating Brouwer's Continuity Principle for Numbers Using Named Exceptions
Scientific journals : Article
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/33894
Validating Brouwer's Continuity Principle for Numbers Using Named Exceptions
English
Rahli, Vincent mailto [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
Bickford, Mark []
2017
Mathematical Structures in Computer Science
Yes
http://hdl.handle.net/10993/33894
FnR ; FNR8149128 > Paulo Esteves-VerĂ­ssimo > IISD > Strategic Rtnd Program On Information Infrastructure Security And Dependability > 01/01/2015 > 31/12/2019 > 2014

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
continuity-journal-mscs.pdfAuthor preprint870.02 kBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.