Follow
Olivier Hermant
Olivier Hermant
CRI, MINES ParisTech
Verified email at inria.fr - Homepage
Title
Cited by
Cited by
Year
Runtime analysis of whole-system provenance
T Pasquier, X Han, T Moyer, A Bates, O Hermant, D Eyers, J Bacon, ...
Proceedings of the 2018 ACM SIGSAC conference on computer and communications …, 2018
992018
The λΠ-calculus Modulo as a Universal Proof Language.
M Boespflug, Q Carbonneaux, O Hermant
PxTP, 28-43, 2012
972012
Zenon Modulo: When Achilles Outruns the Tortoise Using Deduction Modulo
D Delahaye, D Doligez, F Gilbert, P Halmagrand, O Hermant
Logic for Programming, Artificial Intelligence, and Reasoning: 19th …, 2013
472013
Semantic cut elimination in the intuitionistic sequent calculus
O Hermant
Typed Lambda Calculi and Applications: 7th International Conference, TLCA …, 2005
452005
Méthodes sémantiques en déduction modulo
O Hermant
Doctoral Thesis. Université de Paris 7, 2005
322005
Dedukti: a logical framework based on the λΠ-calculus modulo theory
A Assaf, G Burel, R Cauderlier, D Delahaye, G Dowek, C Dubois, F Gilbert, ...
302016
Expressing theories in the λΠ-calculus modulo theory and in the Dedukti system
A Assaf, G Burel, R Cauderlier, D Delahaye, G Dowek, C Dubois, F Gilbert, ...
TYPES: Types for Proofs and Programs, 2016
262016
Automated deduction in the B set theory using typed proof search and deduction modulo
G Bury, D Delahaye, D Doligez, P Halmagrand, O Hermant
LPAR 20: 20th International Conference on Logic for Programming, Artificial …, 2015
232015
Resolution is cut-free
O Hermant
Journal of Automated Reasoning 44, 245-276, 2010
232010
A semantic completeness proof for TaMed
R Bonichon, O Hermant
International Conference on Logic for Programming Artificial Intelligence …, 2006
212006
Dedukti: a logical framework based on the λ Π-calculus modulo theory, 2019
A Assaf, G Burel, R Cauderlier, D Delahaye, G Dowek, C Dubois, F Gilbert, ...
URL: http://www. lsv. fr/~ dowek/Publi/expressing. pdf, 2019
202019
A simple proof that super-consistency implies cut elimination
G Dowek, O Hermant
Notre Dame Journal of Formal Logic 53 (4), 439-456, 2012
17*2012
A simple proof that super-consistency implies cut elimination
G Dowek, O Hermant
International Conference on Rewriting Techniques and Applications, 93-106, 2007
172007
Dependency pairs termination in dependent type theory modulo rewriting
F Blanqui, G Genestier, O Hermant
arXiv preprint arXiv:1906.11649, 2019
162019
A model-based cut elimination proof
O Hermant
2nd St-Petersburg Days of Logic and Computability 972, 2003
162003
On constructive cut admissibility in deduction modulo
R Bonichon, O Hermant
International Workshop on Types for Proofs and Programs, 33-47, 2006
142006
First-order automated reasoning with theories: when deduction modulo theory meets practice
G Burel, G Bury, R Cauderlier, D Delahaye, P Halmagrand, O Hermant
Journal of Automated Reasoning 64 (6), 1001-1050, 2020
112020
Computing invariants with transformers: experimental scalability and accuracy
V Maisonneuve, O Hermant, F Irigoin
Electronic Notes in Theoretical Computer Science 307, 17-31, 2014
102014
Managing big data with information flow control
TFJM Pasquier, J Singh, J Bacon, O Hermant
2015 IEEE 8th International Conference on Cloud Computing, 524-531, 2015
92015
Polarizing double-negation translations
M Boudard, O Hermant
Logic for Programming, Artificial Intelligence, and Reasoning: 19th …, 2013
72013
The system can't perform the operation now. Try again later.
Articles 1–20