文森特·帕多瓦尼
人员信息
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2010 – 2019
2013 [注2] 文森特·帕多瓦尼 :
门票信息是可以决定的。 数学。 结构。 计算。 科学。 23 ( 三 ) : 568-607 ( 2013 ) 2012 [i2] 文森特·帕多瓦尼 :
所有最小模型的可决定性(2012年修订版)。 CoRR公司 abs/1210.3599 ( 2012 ) 2011 [i1] 文森特·帕多瓦尼 :
门票信息是可以决定的。 CoRR公司 腹肌/1106.1875 ( 2011 )
2000 – 2009
2003 【c4】 安东尼奥·布恰雷利 , 本杰明·勒珀西 , 文森特·帕多瓦尼 :
一元PCF的相对可定义性和模型。 薄层色谱分析 2003 : 75-89 2001 [c3] 文森特·帕多瓦尼 :
在简单类型中缩回。 薄层色谱分析 2001 : 376-384 2000 [j1] 文森特·帕多瓦尼 :
四阶匹配的判定性。 数学。 结构。 计算。 科学。 10 ( 三 ) : 361-372 ( 2000 )
1990 – 1999
1995 【c2】 文森特·帕多瓦尼 :
关于插值方程的等价类。 薄层色谱分析 1995 : 335-349 【c1】 文森特·帕多瓦尼 :
所有最小模型的可判定性。 类型 1995 : 201-215
合著者索引
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)