[ACM Press the 8th ACM SIGPLAN International Conference - Cascais, Portugal (2019.01.14-2019.01.15)] Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs - CPP 2019 - Verified solving and asymptotics of linear recurrences
- 作者Eberl, Manuel
- 文件大小767.37KB
- 发表时间2019
- DOI10.1145/3293880.3294090
- 页码27-37
同作者推荐
[ACM Press the 2018 International Conference - Houston, TX, USA (2018.06.10-2018.06.15)] Proceedings of the 2018 International Conference on Management of Data - SIGMOD '18 - Data Integration and Machine LearningDong, Xin Luna; Rekatsinas, Theodoros · 2018
[ACM Press the 2014 ACM SIGMOD international conference - Snowbird, Utah, USA (2014.06.22-2014.06.27)] Proceedings of the 2014 ACM SIGMOD international conference on Management of data - SIGMOD '14 - Characterizing and selecting fresh data sourcesRekatsinas, Theodoros; Dong, Xin Luna; Srivastava, Divesh · 2014