Fabien Renaud

According to our database, Fabien Renaud authored at least 6 papers between 2009 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

A Semantic Framework for Proof Evidence.

Zakaria Chihani, Dale Miller, Fabien Renaud

J. Autom. Reason., 2017

2013

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

Zakaria Chihani, Dale Miller, Fabien Renaud

Proceedings of the Third International Workshop on Proof Exchange for Theorem Proving, 2013

Foundational Proof Certificates in First-Order Logic.

Zakaria Chihani, Dale Miller, Fabien Renaud

Proceedings of the Automated Deduction - CADE-24, 2013

2011

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

Fabien Renaud

PhD thesis, 2011

A prismoid framework for languages with resources.

Delia Kesner, Fabien Renaud

Theor. Comput. Sci., 2011

2009

The Prismoid of Resources.

Delia Kesner, Fabien Renaud

Proceedings of the Mathematical Foundations of Computer Science 2009, 2009