Reference : Bar Induction: The Good, the Bad, and the Ugly
Scientific journals : Article
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/31268
Bar Induction: The Good, the Bad, and the Ugly
English
Rahli, Vincent mailto [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
Bickford, Mark mailto [Cornell University]
Constable, Robert mailto [Cornell University]
2017
Abstract book of LICS 2017: 32nd Annual ACM/IEEE Symposium on Logic in Computer Science
Yes
http://hdl.handle.net/10993/31268
FnR ; FNR8149128 > Paulo Esteves Verissimo > 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
bar-induction-lics-short.pdfAuthor preprint367 kBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.