dblp.uni-trier.dewww.uni-trier.de

Vincent Padovani

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2003
5EEAntonio Bucciarelli, Benjamin Leperchey, Vincent Padovani: Relative Definability and Models of Unary PCF. TLCA 2003: 75-89
2001
4EEVincent Padovani: Retracts in Simple Types. TLCA 2001: 376-384
2000
3 Vincent Padovani: Decidability of fourth-order matching. Mathematical Structures in Computer Science 10(3): 361-372 (2000)
1995
2 Vincent Padovani: On Equivalence Classes of Interpolation Equations. TLCA 1995: 335-349
1EEVincent Padovani: Decidability of All Minimal Models. TYPES 1995: 201-215

Coauthor Index

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

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)