Statistics
Publications
2
Citations
36
H-Index
2
Active since
2011
Affiliations
Fabien Renaud is an author at Laboratory Preuves, Programmes et Systèmes specializing in computing, knowledge representation, and proof language.
Publications per year
2011–2016
2
2
A Semantic Framework for Proof Evidence
Zakaria Chihani, Dale Miller, Fabien Renaud · Journal of Automated Reasoning · 2016 · 23 citations · Full text
1–2 of 2