12 citations · 23 across the 5 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.LO2023★ 6 cited
Dedukti: a Logical Framework based on the -Calculus Modulo Theory
Ali Assaf, Guillaume Burel, Raphaël Cauderlier +7
Dedukti is a Logical Framework based on the -Calculus Modulo Theory. We show that many theories can be expressed in Dedukti: constructive and classical predicate logic, Simpl…
cs.LO2023
How can we prove that a proof search method is not an instance of another?
Guillaume Burel, Gilles Dowek
We introduce a method to prove that a proof search method is not an instance of another. As an example of application, we show that Polarized resolution modulo, a method that mixes…