Todas las publicaciones del investigador:
Divasón Mallagaray, José

2019 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 Años anteriores
TítuloAutoresFuenteAño
Efficient certification of complexity proofs formalizing the Perron-Frobenius theorem (invited talk paper)

Divasón Mallagaray, José; Joosten, S.; Kunčar, O.; Thiemann, R.; Yamada, A.;  CPP 2018 - Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, Co-located with POPL 2018 2018