conf.researchr.org / Matteo Manighetti
Registered user since Tue 11 Dec 2018
Name:Matteo Manighetti
Bio:
PhD Student at LIX, École Polytechnique funded by Inria Saclay under the supervision of Dale Miller.
Country:France
Affiliation:Inria & École Polytechnique
Personal website:http://www.lix.polytechnique.fr/Labo/Matteo.Manighetti/
Research interests:Logic, Proof Theory
Contributions
| CPP 2019 | Author of A Proof-Theoretic Approach to Certifying Skolemization within the CPP 2019-track |