Raphaël Cauderlier

Available identifiers

zbMath Open cauderlier.raphaelMaRDI QIDQ1687725

List of research outcomes

Publication	Date of Publication	Type
First-order automated reasoning with theories: when deduction modulo theory meets practice	2020-11-02	Paper
Tactics and certificates in Meta Dedukti	2018-10-04	Paper
FoCaLiZe and Dedukti to the rescue for proof interoperability	2018-01-04	Paper
Objects and subtyping in the \(\lambda\)-\(\Pi\)-calculus modulo	2017-07-12	Paper
ML pattern-matching, recursion, and rewriting: from FoCaLiZe to Dedukti	2016-12-21	Paper
Conditional reactive systems	2012-08-31	Paper

Research outcomes over time

This page was built for person: Raphaël Cauderlier