Fabien Renaud

Foundational Proof Certificates in First-Order Logic

Zakaria Chihani, Dale Miller, Fabien Renaud, 2013, CADE.

New Results - First efforts at designing proof certificates

Quentin Heath, Fabien Renaud, Hichem Chihani, 2013 .

A prismoid framework for languages with resources

Delia Kesner, Fabien Renaud, 2011, Theor. Comput. Sci..

Checking foundational proof certicates for rst-order logic

Zakaria Chihani, Dale Miller, Fabien Renaud, 2013 .

Checking Foundational Proof Certificates for First-Order Logic (Extended Abstract)

Zakaria Chihani, Dale Miller, Fabien Renaud, 2013, PxTP@CADE.

Les ressources explicites vues par la théorie de la réécriture. (Explicit resources from the rewriting point of view)

Fabien Renaud, Fabien Renaud, 2011 .

A Semantic Framework for Proof Evidence

Zakaria Chihani, Dale Miller, Fabien Renaud, 2016, Journal of Automated Reasoning.

The Prismoid of Resources

Delia Kesner, Fabien Renaud, D. Kesner, 2009, MFCS.