Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Huesca, Lourdes del Carmen González"'
Autor:
Barras, Bruno, Huesca, Lourdes del Carmen González, Herbelin, Hugo, Régis-Gianas, Yann, Tassi, Enrico, Wenzel, Makarius, Wolff, Burkhart
This is an overview of the Paral-ITP project, which intents to make the proof assistants Isabelle and Coq fit for the multicore era.
Comment: Conferences on Intelligent Computer Mathematics CICM 2013. The final publication is available at http:/
Comment: Conferences on Intelligent Computer Mathematics CICM 2013. The final publication is available at http:/
Externí odkaz:
http://arxiv.org/abs/1305.7360
Autor:
Miranda-Perea, Favio E1 (AUTHOR) favioemp@gmail.com, Huesca, Lourdes del Carmen González1 (AUTHOR), Linares-Arévalo, P Selene1 (AUTHOR)
Publikováno v:
Logic Journal of the IGPL. Dec2020, Vol. 28 Issue 6, p1155-1181. 27p.