Old Web
English
Sign In
Acemap
>
authorDetail
>
Enrico Tassi
Enrico Tassi
École Polytechnique
Mathematics
Multi-core processor
Algorithm
Programming language
Proof assistant
4
Papers
14
Citations
0.00
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (4)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
Boolean reflection via type classes
2016
Benjamin Grégoire
Enrico Tassi
Show All
Source
Cite
Save
Citations (0)
Coq 8.4 Reference Manual
2014
Pierre Boutillier
Stéphane Glondu
Benjamin Grégoire
Hugo Herbelin
Pierre Letouzey
Pierre-Marie Pédrot
Yann Régis-Gianas
Matthieu Sozeau
Arnaud Spiwack
Enrico Tassi
Show All
Source
Cite
Save
Citations (2)
Pervasive Parallelism in Highly-Trustable Interactive Theorem Proving Systems
2013
arXiv: Logic in Computer Science
Bruno Barras
Lourdes del Carmen González Huesca
Hugo Herbelin
Yann Régis-Gianas
Enrico Tassi
Makarius Wenzel
Burkhart Wolff
Show All
Source
Cite
Save
Citations (1)
Pervasive parallelism in highly-trustable interactive theorem proving systems
2013
arXiv: Logic in Computer Science
Bruno Barras
Lourdes del Carmen González Huesca
Hugo Herbelin
Yann Régis-Gianas
Enrico Tassi
Makarius Wenzel
Burkhart Wolff
Show All
Source
Cite
Save
Citations (11)
1