Statistics
Publications
2
Citations
39
H-Index
2
Active since
2016
Affiliations
Zakaria Chihani is an author at Commissariat à l'Énergie Atomique et aux Énergies Alternatives specializing in computing, knowledge representation, and proof theory.
Publications per year
2016–2024
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