Reference : A Verified Theorem Prover Backend Supported by a Monotonic Library
Scientific congresses, symposiums and conference proceedings : Paper published in a book
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/37406
A Verified Theorem Prover Backend Supported by a Monotonic Library
English
Rahli, Vincent mailto [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
Cohen, Liron [Cornell University]
Bickford, Mark [Cornell University]
2018
LPAR 2018
Yes
LOGIC PROGRAMMING AND AUTOMATED REASONING
November 2018
http://hdl.handle.net/10993/37406
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
checker-LPAR.pdfAuthor preprint688.35 kBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.