Vincent Padovani

Publication Activity (10 Years)

Years Active: 1995-2013
Publications (10 Years): 0

Top Topics

Probabilistic Logic

Revised Version

Textual Entailment Recognition

Top Venues

Math. Struct. Comput. Sci.

Publications

Vincent Padovani
Ticket Entailment is decidable. Math. Struct. Comput. Sci. 23 (3) (2013)
Vincent Padovani
Decidability of All Minimal Models (Revised Version - 2012) CoRR (2012)
Vincent Padovani
Ticket Entailment is decidable CoRR (2011)
Antonio Bucciarelli, Benjamin Leperchey, Vincent Padovani
Relative Definability and Models of Unary PCF. TLCA (2003)
Vincent Padovani
Retracts in Simple Types. TLCA (2001)
Vincent Padovani
Decidability of fourth-order matching. Math. Struct. Comput. Sci. 10 (3) (2000)
Vincent Padovani
On Equivalence Classes of Interpolation Equations. TLCA (1995)
Vincent Padovani
Decidability of All Minimal Models. TYPES (1995)