Date: 2015-01-25 16:18:54Theoretical computer science Mathematical logic Logic in computer science Automated theorem proving Proof assistants Formal methods Type theory Isabelle First-order logic Logic for Computable Functions Unification HOL | | LEO-II and Satallax on the Sledgehammer Test Bench Nik Sultanaa,∗, Jasmin Christian Blanchetteb , Lawrence C. Paulsona a Computer b Institut Laboratory, University of Cambridge, United KingdomAdd to Reading ListSource URL: people.mpi-inf.mpg.deDownload Document from Source Website File Size: 152,46 KBShare Document on Facebook
|