- Title: Subtitle
- Increasing Automation in Coq via Trustworthy Cooperation with External Automated Reasoners: Invited Speaker at the Fifth Workshop on Proof eXchange for Theorem Proving
- Creators
- Cesare Tinelli - University of Iowa
- Resource Type
- Abstract
- Publication Details
- Electronic proceedings in theoretical computer science, Vol.262, pp.13-13
- DOI
- 10.4204/EPTCS.262.2
- ISSN
- 2075-2180
- eISSN
- 2075-2180
- Language
- English
- Date published
- 12/04/2017
- Academic Unit
- Computer Science
- Record Identifier
- 9984259472202771
Abstract
Increasing Automation in Coq via Trustworthy Cooperation with External Automated Reasoners: Invited Speaker at the Fifth Workshop on Proof eXchange for Theorem Proving
Electronic proceedings in theoretical computer science, Vol.262, pp.13-13
12/04/2017
DOI: 10.4204/EPTCS.262.2
Details
Metrics
59 Record Views