保拉·塞弗里
人员信息
其他同名人员
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2010 – 2019
2019 [公元12年] 保拉·塞弗里 , Mariangiola Dezani-Ciancaglini公司 :
多方会议的观察等效性。 芬丹。 信息学 170 ( 1-3 ) : 267-305 ( 2019 ) [公元11年] 保拉·塞弗里 :
递归的轻量级形式。 日志。 方法计算。 科学。 15 ( 1 ) ( 2019 ) [公元26年] 保拉·塞弗里 , 雪绒花 , 里贾娜·莫茨 :
统一不同观点的描述逻辑。 KGSWC公司 2019 : 17-32 [公元25年] 雪绒花 , 保拉·塞弗里 , 里贾娜·莫茨 :
元建模本体设计模式。 KGSWC公司 2019 : 102-117 2018 [公元24年] 雪绒花 , 保拉·塞弗里 , 里贾娜·莫茨 :
将元模型应用于会计应用程序。 ONTOBRAS公司 2018 : 92-103 [i4] 保拉·塞弗里 :
递归的两种轻型模式。 CoRR公司 abs/1801.00285 ( 2018 ) 2017 [公元10年] 保拉·塞弗里 , 卢卡·帕多瓦尼 , 埃米利奥·图斯托 , Mariangiola Dezani-Ciancaglini公司 :
关于会话和无限数据。 日志。 方法计算。 科学。 13 ( 2 ) ( 2017 ) [公元9年] 保拉·塞弗里 , 弗·扬·德弗里斯 :
无穷eta-Böhm树的无穷lambda演算。 数学。 结构。 计算。 科学。 27 ( 5 ) : 681-733 ( 2017 ) 【c23】 里贾娜·莫茨 , 雪绒花 , 保拉·塞弗里 :
将扩展了元建模的描述逻辑应用于SNOMED-CT。 AMW公司 2017 [公元22年] 保拉·塞弗里 :
递归的轻量级形式。 FoSSaCS公司 2017 : 499-516 2016 【c21】 保拉·塞弗里 , 卢卡·帕多瓦尼 , 埃米利奥·图斯托 , Mariangiola Dezani-Ciancaglini公司 :
关于会话和无限数据。 协调 2016 : 245-261 [公元20年] 莫妮卡·马丁内斯 , 雪绒花 , 保拉·塞弗里 :
描述逻辑ALCM的复杂性。 韩国 2016 : 585-588 [i3] 保拉·塞弗里 , 卢卡·帕多瓦尼 , 埃米利奥·图斯托 , Mariangiola Dezani-Ciancaglini公司 :
关于会话和无限数据。 CoRR公司 abs/1610.06362 ( 2016 ) 2015 [j8] 里贾娜·莫茨 , 雪绒花 , 保拉·塞弗里 :
具有灵活元建模层次结构的描述逻辑SHIQ。 J.Web Semant公司。 35 : 214-234 ( 2015 ) [第19条] 亚历山大·库兹 , 阿尔贝托·帕尔多 , 丹妮拉·佩特里桑 , 保拉·塞弗里 , 弗·扬·德弗里斯 :
嵌套不动点的近似-参数数据类型的拼图视图。 CALCO公司 2015 : 205-220 [i2] 莫妮卡·马丁内斯 , 雪绒花 , 保拉·塞弗里 :
描述逻辑ALCM的复杂性。 CoRR公司 abs/1511.03749 ( 2015 ) 2014 [第18条] 雪绒花 , 保拉·塞弗里 , 里贾娜·莫茨 , 艾丽西娅·迪亚斯 :
本体网络中的元建模。 FOIS的WoMO 2014 [第17条] 里贾娜·莫茨 , 雪绒花 , 保拉·塞弗里 :
推理 ALCQ公司 使用灵活的元建模层次结构进行扩展。 JIST标准 2014 : 47-62 [i1] 里贾娜·莫茨 , 雪绒花 , 保拉·塞弗里 :
ALCQ推理扩展了灵活的元模型层次结构。 CoRR公司 abs/1410.7953 ( 2014 ) 2013 [j7] 亚历山大·库兹 , 丹妮拉·佩特里桑 , 保拉·塞弗里 , 弗·扬·德弗里斯 :
名义联合盲文数据类型及其在Lambda微积分中的应用。 日志。 方法计算。 科学。 9 ( 4 ) ( 2013 ) [第16条] 保拉·塞弗里 , 弗·扬·德弗里斯 :
超几何模型反应程序之间转换的完备性。 薄层色谱分析 2013 : 221-235 2012 [第15条] 亚历山大·库兹 , 丹妮拉·佩特里桑 , 保拉·塞弗里 , 弗·扬·德弗里斯 :
无限Lambda微积分的阿尔法预测原理。 CMCS公司 2012 : 130-149 [第14条] 保拉·塞弗里 , 弗·扬·德弗里斯 :
流上具有同余的纯类型系统:从有限到无限正规化。 ICFP公司 2012 : 141-152 [第13条] 保拉·塞弗里 , 弗·扬·德弗里斯 :
无限组合逻辑中的无意义集。 区域贸易协定 2012 : 288-304 2011 [j6] 保拉·塞弗里 , 何塞·路易斯·菲亚德罗 , 大卫·埃克塞尔吉安 :
通过聚合、泛化和参与指导本体中n元关系的表示。 J.Web Semant公司。 9 ( 2 ) : 83-98 ( 2011 ) [第12条] 保拉·塞弗里 , 弗·扬·德弗里斯 :
弱化无穷Lambda演算中重叠公理。 区域贸易协定 2011 : 313-328 [第11条] 保拉·塞弗里 , 弗·扬·德弗里斯 :
无限Lambda演算中无意义集格的分解。 沃尔利克 2011 : 210-227 2010 [第10条] 保拉·塞弗里 , 何塞·路易斯·菲亚德罗 , 大卫·埃克塞尔吉安 :
通过聚合指导OWL中的Reification。 描述逻辑 2010
2000 – 2009
2008 【c9】 法比奥·阿莱西 , 保拉·塞弗里 :
滤波模型的递归域方程。 SOFSEM公司 2008 : 124-135 2005 【c8】 理查德·肯纳韦 , 保拉·塞弗里 , M.Ronan睡眠 , 弗·扬·德弗里斯 :
无限重写:从语法到语义。 过程、术语和周期 2005 : 148-172 【c7】 保拉·塞弗里 , 弗·扬·德弗里斯 :
类Böhm模型上的序结构。 CSL公司 2005 : 103-118 【c6】 保拉·塞弗里 , 弗·扬·德弗里斯 :
Lambda微积分中的连续性和不连续性。 薄层色谱分析 2005 : 369-385 2003 [j5] 玛丽贝尔·费尔南德斯 , 伊恩·麦基 , 保拉·塞弗里 , 诺拉·萨兹 :
程序提取的简化策略。 CLEI Electron公司。 J。 6 ( 1 ) ( 2003 ) 【j4】 Mariangiola Dezani-Ciancaglini公司 , 保拉·塞弗里 , 弗·扬·德弗里斯 :
无限lambda演算与Berarducci树的判别。 西奥。 计算。 科学。 298 ( 2 ) : 275-302 ( 2003 ) 2002 【c5】 玛丽贝尔·费尔南德斯 , 保拉·塞弗里 :
构造演算中程序提取的一种操作方法。 洛普斯特 2002 : 111-125 【c4】 保拉·塞弗里 , 弗·扬·德弗里斯 :
一个扩展的Böhm模型。 区域贸易协定 2002 : 159-173 【c3】 费尔克·范·拉姆斯登克 , 保拉·塞弗里 :
消除程序中的证据。 线性调频 2002 : 42-59 2001 [j3] 保拉·塞弗里 , 诺拉·萨兹 :
带内置程序提取的规范理论研究。 J.汽车。 原因。 27 ( 1 ) : 61-87 ( 2001 ) 2000 【c2】 Mariangiola Dezani-Ciancaglini公司 , 保拉·塞弗里 , 弗·扬·德弗里斯 :
Berarducci树的Böhm定理。 猫 2000 : 34-57
1990 – 1999
1999 [注2] 费尔克·范·拉姆斯登克 , 保拉·塞弗里 , 莫滕·海因·瑟伦森 , 西红卫 :
Lambda-Calculus中的永久约化。 Inf.计算。 149 ( 2 ) : 173-225 ( 1999 ) 1998 [j1] 保拉·塞弗里 :
纯类型系统的类型推断。 Inf.计算。 143 ( 1 ) : 1-23 ( 1998 ) 1994 【c1】 保拉·塞弗里 , 埃里克·波尔 :
带定义的纯类型系统。 LFCS公司 1994 : 316-328
合著者索引
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)