How to Get More Out of Your Oracles

Interactive Theorem Proving - Lecture Notes in Computer Science ◽

10.1007/978-3-319-66107-0_11 ◽

2017 ◽

pp. 164-170

Author(s):

Luís Cruz-Filipe ◽

Kim S. Larsen ◽

Peter Schneider-Kamp

Download Full-text