埃里克·帕尔曼
人员信息
优化列表
![笔记](https://dblp.org/img/note-mark.dark.12x12.png)
2020年–今天
2021 [j1] 埃里克·帕尔曼 , 托马斯·奥戈特斯 :
模态逻辑中关于策略投票的推理很快变得无法确定。 J.日志。 计算。 31 ( 4 ) : 1055-1078 ( 2021 )
2010 – 2019
2016 【c5】 马克·贝泽姆 , 蒂埃里·科昆 , 中田惠子 , 埃里克·帕尔曼 :
工作中的可实现性:分离两种有限性的建设性概念。 类型 2016 : 6:1-6:23 2015 【c4】 马克·贝泽姆 , 蒂埃里·科昆 , 埃里克·帕尔曼 :
Kan单集中的非构造性。 薄层色谱分析 2015 : 92-106 【c3】 埃里克·帕尔曼 :
函数Kan单纯形集:指数的非构造性。 类型 2015 : 8:1-8:25 2014 【c2】 埃里克·帕尔曼 :
调查无流集合。 类型 2014 : 187-201 2013 【c1】 特鲁斯·佩德森 , Sjur K.Dyrkolbotn先生 , 彼得罗·卡兹米尔扎克 , 埃里克·帕尔曼 :
具有角色的并发游戏结构。 SR公司 2013 : 61-69 2012 [i1] Sjur K.Dyrkolbotn先生 , 彼得罗·卡兹米尔扎克 , 埃里克·帕曼 , 特鲁斯·佩德森 :
没什么大不了的:引入角色来缩小ATL模型的规模。 CoRR公司 abs/1204.3495 ( 2012 )
![](https://dblp.org/img/cog.dark.24x24.png)