Zobrazeno 1 - 10
of 24
pro vyhledávání: '"HUESCA, Lourdes"'
Publikováno v:
Forum Geografic. Jun2024, Vol. 23 Issue 1, p117-131. 15p.
Publikováno v:
In Electronic Notes in Theoretical Computer Science 1 December 2020 354:171-186
Publikováno v:
In Electronic Notes in Theoretical Computer Science 1 December 2020 354:107-127
Publikováno v:
In Electronic Notes in Theoretical Computer Science 1 March 2020 348:61-83
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
Publikováno v:
EPTCS 81, 2012, pp. 30-46
We present an extension of the second-order logic AF2 with iso-style inductive and coinductive definitions specifically designed to extract programs from proofs a la Krivine-Parigot by means of primitive (co)recursion principles. Our logic includes p
Externí odkaz:
http://arxiv.org/abs/1203.6158
Publikováno v:
Almagest: International Journal for the History of Scientific Ideas; Nov2023, Vol. 14 Issue 2, p222-245, 24p
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
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.
Publikováno v:
In Electronic Notes in Theoretical Computer Science 2 December 2009 256:67-85