Dowek, Gilles

1. Dedukti: a Logical Framework based on the \λ\Π-Calculus Modulo\n Theory
   2023/11/13 by Ali Assaf, Guillaume Burel, Assaf, Ali +17 · 2 citations
   Computer Science · #Logic, Reasoning, and Knowledge #Multi-Agent Systems and Negotiation
2. What is a Theory ?
   2023/05/25 by Dowek, Gilles · 1 citation
   #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
3. From Rewrite Rules to Axioms in the λΠ-Calculus Modulo Theory
   2024/02/14 by Blot, Valentin, Dowek, Gilles, Traversié, Thomas +1 · 1 citation
   #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)