Vincent PADOVANI

Université Paris 7, PPS

Enseignements

• Programmation en C – LBI
• Programmation en Java – M1BI
• Formats de documents XML – M1 : la page du cours est sur moodle.

• Ticket Entailment is decidable (2012)

       in Mathematical Structures in Computer Science
       Volume 23/Issue 03/June 2013, pp 568-607
       Copyright ©Cambridge University Press 2012
       DOI:http://dx.doi.org/10.1017/S0960129512000412

• Ticket Entailment is decidable (Curry-Howard: Logic and Computation, 2014)

This document was translated from L^AT_EX by H^EV^EA.