Fabien Renaud

Publication Activity (10 Years)

Years Active: 2009-2017
Publications (10 Years): 1

Top Topics

Markov Networks

Classical First Order Logic

Inference Rules

Top Venues

J. Autom. Reason.

Paris Diderot University, France (PHD)

Education History

Paris Diderot University, France

PHD

Publications

Zakaria Chihani, Dale Miller, Fabien Renaud
A Semantic Framework for Proof Evidence. J. Autom. Reason. 59 (3) (2017)
Zakaria Chihani, Dale Miller, Fabien Renaud
Foundational Proof Certificates in First-Order Logic. CADE (2013)
Zakaria Chihani, Dale Miller, Fabien Renaud
Checking Foundational Proof Certificates for First-Order Logic (Extended Abstract). PxTP@CADE (2013)
Delia Kesner, Fabien Renaud
A prismoid framework for languages with resources. Theor. Comput. Sci. 412 (37) (2011)
Delia Kesner, Fabien Renaud
The Prismoid of Resources. MFCS (2009)