搜索dblp
全文搜索
> 主页
请输入搜索查询
作者搜索结果
场馆搜索结果
优化列表
没有选项
暂时不可用
没有选项
暂时不可用
没有选项
暂时不可用
没有选项
暂时不可用
没有选项
暂时不可用
出版物搜索结果
2010 马丁·阿巴迪 , 姆·哈里斯 , 凯瑟琳·摩尔 :
事务内存的动态分离模型。 Inf.计算。 208 ( 10 ) : 1093-1117 ( 2010 ) 露西娅·阿奇艾 , 米歇尔·博雷尔 :
像素中的空间和行为类型。 Inf.计算。 208 ( 10 ) : 1118-1153 ( 2010 ) 杰里·阿达梅克 , 克莱门斯·库普克 :
前言。 Inf.计算。 208 ( 12 ) : 1305 ( 2010 ) 杰里·阿达梅克 , 斯特凡·米利乌斯 , 杰里·韦利比尔 :
迭代单子的方程性质。 Inf.计算。 208 ( 12 ) : 1306-1348 ( 2010 ) Beatriz Alarcón , 劳尔·古铁雷斯 , 萨尔瓦多·卢卡斯 :
上下文相关依赖项对。 Inf.计算。 208 ( 8 ) : 922-968 ( 2010 ) 卢卡·德·阿尔法罗 , 普里塔姆·罗伊 :
通过三值抽象求精解决游戏。 Inf.计算。 208 ( 6 ) : 666-676 ( 2010 ) 安兴彦 , 杨长彪 , 永兴鹏 , 伯恩·切恩·刘 :
块编辑问题的高效算法。 Inf.计算。 208 ( 三 ) : 221-229 ( 2010 ) 维克拉曼·阿文德 , 穆霍帕迪亚 :
理想隶属度问题和多项式恒等式检验。 Inf.计算。 208 ( 4 ) : 351-363 ( 2010 ) 保罗·巴尔丹 , 托马斯·查坦 , 斯特凡·哈尔 , 芭芭拉·科尼格 :
具有演化拓扑的系统的基于展开的诊断。 Inf.计算。 208 ( 10 ) : 1169-1192 ( 2010 ) 加博尔·巴托克 , Csaba Szepesvariá , 桑德拉·齐勒斯 :
群体结构状态空间中的主动学习模型。 Inf.计算。 208 ( 4 ) : 364-384 ( 2010 ) 简·A·伯格斯特拉 , 科内利斯·A·米德尔堡 :
分子动力学的线程演算。 Inf.计算。 208 ( 7 ) : 817-844 ( 2010 ) 拉斐拉·伯纳迪 , 迈克尔·穆尔加特 :
Lambek-Grishin演算的延续语义。 Inf.计算。 208 ( 5 ) : 397-416 ( 2010 ) 非交换有理函数 , 吕克·博阿松 , 奥利维尔纸箱 , Jean-Eric别针 , 安东尼奥·雷斯蒂沃 :
洗牌产品的表现力。 Inf.计算。 208 ( 11 ) : 1258-1272 ( 2010 ) 迪特马尔·伯旺格 , 克里希南德·查特吉 , 马丁·德沃尔夫 , 劳伦特·多恩 , 托马斯·汉津格 :
不完全信息奇偶博弈的策略构造。 Inf.计算。 208 ( 10 ) : 1206-1220 ( 2010 ) 纳迪娅·贝茨勒 , Jiong Guo(郭炯) , 罗尔夫·尼德迈尔 :
Dodgeson和Young选举的参数化计算复杂性。 Inf.计算。 208 ( 2 ) : 165-177 ( 2010 ) 汉斯·博德兰德 , 阿里·科斯特(Arie M.C.A.Koster) :
树宽计算I.上限。 Inf.计算。 208 ( 三 ) : 259-275 ( 2010 ) 托马斯·博兰德 , 勒内·里多夫·汉森 :
环境微积分的混合逻辑分析。 Inf.计算。 208 ( 5 ) : 433-449 ( 2010 ) 热拉尔·布多尔 :
在高阶并发命令式语言中键入终止。 Inf.计算。 208 ( 6 ) : 716-736 ( 2010 ) 帕特里夏·鲍耶 , Fabrice骑士 , 尼古拉斯·马基 :
关于TPTL和MTL的表达能力。 Inf.计算。 208 ( 2 ) : 97-116 ( 2010 ) 阿德里安·布拉索维亚努 :
量词域的结构化回指。 Inf.计算。 208 ( 5 ) : 450-473 ( 2010 ) 马修·德·布莱希特 , 山本明弘 :
概念空间的拓扑属性(完整版本)。 Inf.计算。 208 ( 4 ) : 327-340 ( 2010 ) 弗兰克·范·布鲁格尔 , 玛莎·契契克 :
第19届并行理论国际会议。 Inf.计算。 208 ( 10 ) : 1091-1092 ( 2010 ) 卢卡·布雷维利里 , 斯特凡诺·克雷斯皮·雷吉齐 , 马西米利亚诺·戈德沃尔姆 :
高效识别由重复-直到循环定义的跟踪语言。 Inf.计算。 208 ( 8 ) : 969-981 ( 2010 ) 纪尧姆·伯勒 , 克洛德·基什内尔 :
使用抽象补全重新获得演绎模中的割可容许性。 Inf.计算。 208 ( 2 ) : 140-164 ( 2010 ) 路易斯·凯雷斯 , 瓦斯科红花 :
第十八届并行理论国际会议。 Inf.计算。 208 ( 6 ) : 605 ( 2010 ) 克里斯蒂亚诺·卡尔卡尼奥 , 托马斯·丁斯代尔-杨 , 菲利普·加德纳 :
树的上下文逻辑中的辅助消除。 Inf.计算。 208 ( 5 ) : 474-499 ( 2010 ) 克里斯蒂安·卡鲁德 , 马吕斯·齐曼德 :
算法无关的序列。 Inf.计算。 208 ( 三 ) : 292-308 ( 2010 ) 亚历山德拉·卡蓬 :
从逻辑流图中读出组合证明和序列微积分证明之间的新映射。 Inf.计算。 208 ( 5 ) : 500-509 ( 2010 ) 克里希南德·查特吉 , 托马斯·亨辛格 , 尼尔·皮特曼 :
战略逻辑。 Inf.计算。 208 ( 6 ) : 677-693 ( 2010 ) Konstantinos Chatzikokolakis公司 , 帕拉米德斯猫 :
使随机选择对调度程序不可见。 Inf.计算。 208 ( 6 ) : 694-715 ( 2010 )