Lourdes del Carmen Gonz\'alez Huesca

Identifiers

• name variant Lourdes del Carmen Gonz\'alez Huesca 0.60 · backfill

Papers (1)

1. Pervasive Parallelism in Highly-Trustable Interactive Theorem Proving Systems cs.LO · 2013 · author #2

Mentions

• 1305.7360 #2 · backfill · confidence 0.70 Lourdes del Carmen Gonz\'alez Huesca

Frequent Coauthors

• Bruno Barras 1 shared papers
• Burkhart Wolff 1 shared papers
• Enrico Tassi 1 shared papers
• Hugo Herbelin 1 shared papers
• Makarius Wenzel 1 shared papers
• Yann R\'egis-Gianas 1 shared papers