References of "Constable, Robert"
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: 122 (9 UL)
Full Text
Peer Reviewed
See detailBar Induction: The Good, the Bad, and the Ugly
Rahli, Vincent UL; Bickford, Mark; Constable, Robert

in Thirty-Second Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2017)

Detailed reference viewed: 204 (21 UL)
Full Text
Peer Reviewed
See detailEventML: Specification, Verification, and Implementation of Crash-Tolerant State Machine Replication Systems
Rahli, Vincent UL; Guaspari, David; Bickford, Mark et al

in Science of Computer Programming (2017)

Detailed reference viewed: 142 (4 UL)