Academic Journal
Proving Divide and Conquer Complexities in Isabelle/HOL
| Τίτλος: | Proving Divide and Conquer Complexities in Isabelle/HOL |
|---|---|
| Συγγραφείς: | Eberl, Manuel |
| Πηγή: | Journal of Automated Reasoning. April 2017 58(4):483-508 |
| Βάση Δεδομένων: | Springer Nature Journals |
| ISSN: | 01687433 15730670 |
|---|---|
| DOI: | 10.1007/s10817-016-9378-0 |