A Verified Prover Based on Ordered Resolution
Metadata only
Author
Date
2019-01-14Type
- Conference Paper
Publication status
publishedExternal links
Book title
CPP 2019 Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and ProofsPages / Article No.
Publisher
Association for Computing MachineryEvent
Subject
automatic theorem provers; proof assistants; First-order logic; Stepwise refinementOrganisational unit
02660 - Institut für Informationssicherheit / Institute of Information Security03634 - Basin, David / Basin, David
More
Show all metadata