References of "Cohen, Liron"
Bookmark and Share    
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: 77 (9 UL)
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: 75 (6 UL)