Robert Lee Constable
Results: 5
# | Item |
---|---|
1 | Proof Assistants and the Dynamic Nature of Formal Theories Robert L. Constable Cornell University AbstractAdd to Reading ListSource URL: dream.inf.ed.ac.ukLanguage: English - Date: 2012-06-04 13:35:50 |
2 | 1 A Diversified and Correct-by-Construction Broadcast Service Vincent Rahli, Nicolas Schiper, Robbert Van Renesse, Mark Bickford, and Robert L. Constable Cornell University, Computer Science DepartmentAdd to Reading ListSource URL: www.cs.cornell.eduLanguage: English - Date: 2012-09-24 18:19:27 |
3 | Robert L. Constable Curriculum Vitae September 9, 2014 PERSONAL DETAILS • Citizenship • Contacting AddressAdd to Reading ListSource URL: www.cs.cornell.eduLanguage: English - Date: 2014-09-09 13:38:19 |
4 | PDF DocumentAdd to Reading ListSource URL: www.nuprl.orgLanguage: English - Date: 2012-02-02 15:56:23 |
5 | PDF DocumentAdd to Reading ListSource URL: www.cs.cornell.eduLanguage: English - Date: 2004-12-07 23:48:09 |