Nathalie Chetcuti
Ph.D. student at
Université Paul Sabatier
in the
Applied Logic Group
of
IRIT
Now at
CRIL
RESEARCH TOPICS:
automated theorem proving
for non-classical logics
PAPERS
WWW:
http://www.irit.fr/ACTIVITES/LILaC/Pers/Chetcuti