References of "Cohen, Liron"
     in
Bookmark and Share    
Full Text
Peer Reviewed
See detailA Verified Theorem Prover Backend Supported by a Monotonic Library
Rahli, Vincent UL; Cohen, Liron; Bickford, Mark

in LPAR 2018 (2018)

Detailed reference viewed: 57 (6 UL)
Full Text
Peer Reviewed
See detailComputability Beyond Church-Turing via Choice Sequences
Bickford, Mark; Cohen, Liron; Constable, Robert et al

in LICS 2018 (2018)

Detailed reference viewed: 59 (9 UL)