Vincent Padovani

According to our database, Vincent Padovani authored at least 7 papers between 1995 and 2013.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2013

Ticket Entailment is decidable.

Vincent Padovani

Math. Struct. Comput. Sci., 2013

2012

Decidability of All Minimal Models (Revised Version - 2012)

Vincent Padovani

CoRR, 2012

2003

Relative Definability and Models of Unary PCF.

Antonio Bucciarelli, Benjamin Leperchey, Vincent Padovani

Proceedings of the Typed Lambda Calculi and Applications, 6th International Conference, 2003

2001

Retracts in Simple Types.

Vincent Padovani

Proceedings of the Typed Lambda Calculi and Applications, 5th International Conference, 2001

2000

Decidability of fourth-order matching.

Vincent Padovani

Math. Struct. Comput. Sci., 2000

1995

Decidability of All Minimal Models.

Vincent Padovani

Proceedings of the Types for Proofs and Programs, 1995

On Equivalence Classes of Interpolation Equations.

Vincent Padovani

Proceedings of the Typed Lambda Calculi and Applications, 1995