Vincent Padovani

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	2012
i2		Vincent Padovani: Decidability of All Minimal Models (Revised Version - 2012). CoRR abs/1210.3599 (2012)
	2011
i1		Vincent Padovani: Ticket Entailment is decidable. CoRR abs/1106.1875 (2011)
	2003
c4		Antonio Bucciarelli, Benjamin Leperchey, Vincent Padovani: Relative Definability and Models of Unary PCF. TLCA 2003: 75-89
	2001
c3		Vincent Padovani: Retracts in Simple Types. TLCA 2001: 376-384
	2000
j1		Vincent Padovani: Decidability of fourth-order matching. Mathematical Structures in Computer Science 10(3): 361-372 (2000)
	1995
c2		Vincent Padovani: On Equivalence Classes of Interpolation Equations. TLCA 1995: 335-349
c1		Vincent Padovani: Decidability of All Minimal Models. TYPES 1995: 201-215

Coauthor Index

1	Antonio Bucciarelli	[c4]
2	Benjamin Leperchey	[c4]

Last update Sun May 26 08:14:54 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page