A Verified Prover Based on Ordered Resolution
dc.contributor.author
Schlichtkrull, Anders
dc.contributor.author
Blanchette, Jasmin C.
dc.contributor.author
Traytel, Dmitriy
dc.date.accessioned
2019-02-25T16:03:55Z
dc.date.available
2019-02-16T03:28:27Z
dc.date.available
2019-02-25T16:03:55Z
dc.date.issued
2019-01-14
dc.identifier.isbn
978-1-4503-6222-1
en_US
dc.identifier.other
10.1145/3293880.3294100
en_US
dc.identifier.uri
http://hdl.handle.net/20.500.11850/325528
dc.language.iso
en
en_US
dc.publisher
Association for Computing Machinery
dc.subject
automatic theorem provers
en_US
dc.subject
proof assistants
en_US
dc.subject
First-order logic
en_US
dc.subject
Stepwise refinement
en_US
dc.title
A Verified Prover Based on Ordered Resolution
en_US
dc.type
Conference Paper
ethz.book.title
CPP 2019 Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs
en_US
ethz.pages.start
152
en_US
ethz.pages.end
165
en_US
ethz.event
8th ACM SIGPLAN International Conference on Certified Programs and Proofs
en_US
ethz.event.location
Cascais, Portugal
ethz.event.date
January 14-15, 2019
en_US
ethz.identifier.wos
ethz.identifier.scopus
ethz.publication.place
New York, NY
ethz.publication.status
published
en_US
ethz.leitzahl
ETH Zürich::00002 - ETH Zürich::00012 - Lehre und Forschung::00007 - Departemente::02150 - Dep. Informatik / Dep. of Computer Science::02660 - Institut für Informationssicherheit / Institute of Information Security
en_US
ethz.leitzahl
ETH Zürich::00002 - ETH Zürich::00012 - Lehre und Forschung::00007 - Departemente::02150 - Dep. Informatik / Dep. of Computer Science::02660 - Institut für Informationssicherheit / Institute of Information Security::03634 - Basin, David / Basin, David
ethz.leitzahl.certified
ETH Zürich::00002 - ETH Zürich::00012 - Lehre und Forschung::00007 - Departemente::02150 - Dep. Informatik / Dep. of Computer Science::02660 - Institut für Informationssicherheit / Institute of Information Security::03634 - Basin, David / Basin, David
ethz.date.deposited
2019-02-16T03:28:36Z
ethz.source
SCOPUS
ethz.eth
yes
en_US
ethz.availability
Metadata only
en_US
ethz.rosetta.installDate
2019-02-25T16:04:13Z
ethz.rosetta.lastUpdated
2024-02-02T07:14:09Z
ethz.rosetta.versionExported
true
ethz.COinS
ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.atitle=A%20Verified%20Prover%20Based%20on%20Ordered%20Resolution&rft.date=2019-01-14&rft.spage=152&rft.epage=165&rft.au=Schlichtkrull,%20Anders&Blanchette,%20Jasmin%20C.&Traytel,%20Dmitriy&rft.isbn=978-1-4503-6222-1&rft.genre=proceeding&rft_id=info:doi/10.1145/3293880.3294100&rft.btitle=CPP%202019%20Proceedings%20of%20the%208th%20ACM%20SIGPLAN%20International%20Conference%20on%20Certified%20Programs%20and%20Proofs
Files in this item
Files | Size | Format | Open in viewer |
---|---|---|---|
There are no files associated with this item. |
Publication type
-
Conference Paper [35631]