Changes

Jump to: navigation, search

Joe Leslie-Hurd

239 bytes added, 21:34, 8 May 2021
no edit summary
* [[Joe Leslie-Hurd|Joe Hurd]], [[Guy Haworth]] ('''2010'''). ''[https://link.springer.com/chapter/10.1007/978-3-642-12993-3_20 Data Assurance in Opaque Computations]''. [[Advances in Computer Games 12]], [http://www.gilith.com/research/papers/egt.pdf pdf]
* [https://scholar.google.co.uk/citations?user=OyX1-qYAAAAJ&hl=en Ramana Kumar], [[Joe Leslie-Hurd|Joe Hurd]] ('''2012'''). ''Standalone Tactics Using OpenTheory''. [https://dblp.uni-trier.de/db/conf/itp/itp2012.html ITP 2012], [http://www.gilith.com/research/papers/cloud.pdf pdf] <ref>[https://en.wikipedia.org/wiki/HOL_%28proof_assistant%29 HOL (proof assistant) from Wikipedia]</ref>
* [https://scholar.google.es/citations?user=ZHdqNg0AAAAJ&hl=en Iago Abal], [https://alcinocunha.github.io/ Alcino Cunha], [[Joe Leslie-Hurd|Joe Hurd]], [https://scholar.google.com/citations?user=45QPIOIAAAAJ&hl=en Jorge Sousa Pinto ] ('''2012'''). ''[https://link.springer.com/chapter/10.1007/978-3-642-31612-8_51 Using Term Rewriting to Solve Bit-Vector Arithmetic Problems]''. [https://dblp.uni-trier.de/db/conf/sat/sat2012.html#AbalCHP12 SAT 2012]
* [[Joe Leslie-Hurd]] ('''2013'''). ''Formally Verified Endgame Tables''. Guest Lecture, Combinatorial Games, [https://en.wikipedia.org/wiki/Portland_State_University Portland State University], [http://www.gilith.com/research/talks/psu2013.pdf slides as pdf]
* [[Joe Leslie-Hurd]], [[Guy Haworth]] ('''2013'''). ''Computer Theorem Proving and HoTT''. [[ICGA Journal#36_2|ICGA Journal, Vol. 36, No. 2]] <ref>[https://homotopytypetheory.org/ Homotopy Type Theory]</ref>
[[Category:Researcher|Leslie-Hurd]]
[[Category:Chess Player|Leslie-Hurd]]
[[Category:Chess Programmer|Leslie-Hurd]]
[[Category:Go Programmer|Leslie-Hurd]]

Navigation menu