Hermant, Olivier

1. Runtime Analysis of Whole-System Provenance
   2018/08/18 by Thomas Pasquier, Pasquier, Thomas, Xueyuan Han +13 · 1 voice · 5 citations
   Computer Science · Decision Sciences · #Advanced Data Storage Technologies #Scientific Computing and Data Management #Software System Performance and Reliability #cs.CR #cs.OS
2. Dedukti: a Logical Framework based on the \λ\Π-Calculus Modulo\n Theory
   2023/11/13 by Ali Assaf, Assaf, Ali, Guillaume Burel +17 · 3 citations
   Computer Science · #Logic, Reasoning, and Knowledge #Multi-Agent Systems and Negotiation
3. A syntactic soundness proof for free-variable tableaux with on-the-fly Skolemization
   2015/05/23 by Richard Bonichon, Bonichon, Richard, Olivier Hermant +1 · 1 citation
   Computer Science · #Advanced Algebra and Logic #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #cs.FL #cs.LO