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.
Affiliation: Inria & École Polytechnique
Personal website: http://www.lix.polytechnique.fr/Labo/Matteo.Manighetti/
Research interests: Logic, Proof Theory
|CPP 2019||Author of A Proof-Theoretic Approach to Certifying Skolemization within the CPP 2019-track|