Isabelle logo

Manuel Eberl

Chair for Logic and Verification

Verified Solving and Asymptotics of Linear Recurrences

by Manuel Eberl

In: Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs (2019)

DOI:

10.1145/3293880.3294090

Download preprint PDF (117 KiB)

BibTeX:

@inproceedings{eberl19cpp,
 author = {Eberl, Manuel},
 title = {Verified Solving and Asymptotics of Linear Recurrences},
 booktitle = {Proceedings of the 8th {ACM} {SIGPLAN} International Conference on Certified Programs and Proofs},
 series = {CPP 2019},
 year = {2019},
 isbn = {978-1-4503-6222-1},
 location = {Cascais, Portugal},
 pages = {27--37},
 numpages = {11},
 doi = {10.1145/3293880.3294090},
 acmid = {3294090},
 publisher = {ACM},
 address = {New York, NY, USA}
}

Download BibTeX (479 Bytes)

(The final publication is available at ACM)