搜索dblp
全文搜索
> 主页
请输入搜索查询
作者搜索结果
场馆搜索结果
优化列表
没有选项
暂时不可用
没有选项
暂时不可用
没有选项
暂时不可用
没有选项
暂时不可用
没有选项
暂时不可用
出版物搜索结果
2006 保罗·泰勒 :
基于可计算的局部紧空间。 日志。 方法计算。 科学。 2 ( 1 ) ( 2006 ) 杰里·阿达梅克 , 斯特凡·米利乌斯 , 杰里·韦利比尔 :
埃尔戈特代数。 日志。 方法计算。 科学。 2 ( 5 ) ( 2006 ) 杰里米·阿维加德 , 哈维·弗里德曼 :
结合实际的决策程序。 日志。 方法计算。 科学。 2 ( 4 ) ( 2006 ) 塔马拉·巴巴扬 , 詹姆斯·施莫尔泽(James G.Schmolze) :
高效的开放世界规划推理。 日志。 方法计算。 科学。 2 ( 三 ) ( 2006 ) 阿明·比尔 , 凯霍·赫尔扬科 , 汤米·A·琼蒂拉 , 蒂莫·拉塔瓦拉 , 维克多·舒潘 :
有界LTL模型检查的线性编码。 日志。 方法计算。 科学。 2 ( 5 ) ( 2006 ) 拉尔斯·比克达尔 , 拉斯穆斯·埃杰莱斯·莫格伯格 , 拉斯穆斯·勒奇达尔·彼得森 :
线性阿巴迪和普洛金逻辑。 日志。 方法计算。 科学。 2 ( 5 ) ( 2006 ) 拉尔斯·比克达尔 , 诺亚·托普·史密斯 , 杨红seok :
类算法语言的分离逻辑类型语义和高阶框架规则。 日志。 方法计算。 科学。 2 ( 5 ) ( 2006 ) 阿诺焦油醇 , 安托万·迈耶 :
上下文敏感语言,有理图和决定论。 日志。 方法计算。 科学。 2 ( 2 ) ( 2006 ) 威廉·康雷迪 , 瓦伦丁·戈兰科 , 迪米特·瓦卡列洛夫 :
模态逻辑中的算法对应性和完备性。 一、核心算法SQEMA。 日志。 方法计算。 科学。 2 ( 1 ) ( 2006 ) 布鲁诺·库塞尔 :
图的一元二阶逻辑XVI:标准图分解。 日志。 方法计算。 科学。 2 ( 2 ) ( 2006 ) 维克托·达尔摩 :
广义多数-少数操作是可牵引的。 日志。 方法计算。 科学。 2 ( 4 ) ( 2006 ) 布里杰什·多戈尔 , 道格·戈德森 :
用进步的逻辑扩展Owicki和Gries的理论。 日志。 方法计算。 科学。 2 ( 1 ) ( 2006 ) 所罗门·费弗曼 :
塔斯基对计算机科学的影响。 日志。 方法计算。 科学。 2 ( 三 ) ( 2006 ) 让·盖利尔 :
命题分解的完备性:一个简单的构造性证明。 日志。 方法计算。 科学。 2 ( 5 ) ( 2006 ) 埃里希·格拉德尔 , 伊戈尔·瓦卢基维奇 :
无限多优先级博弈的位置确定性。 日志。 方法计算。 科学。 2 ( 4 ) ( 2006 ) 维尼特·古普塔 , 拉德哈·贾加迪桑 , 普拉卡什·帕南加登 :
实时概率过程的近似推理。 日志。 方法计算。 科学。 2 ( 1 ) ( 2006 ) 长谷正彦 :
关系参数和控制。 日志。 方法计算。 科学。 2 ( 三 ) ( 2006 ) 丹尼尔·赫希科夫 , 埃蒂安·洛兹 , 大卫·桑吉奥吉 :
论环境逻辑的表达性。 日志。 方法计算。 科学。 2 ( 2 ) ( 2006 ) 贝内代托·因特里吉拉 , 理查德·斯塔特曼 :
Barendregt问题在Sensible lambda-Theories上的求解。 日志。 方法计算。 科学。 2 ( 4 ) ( 2006 ) 小林直树 , Kohei Suenaga公司 , 卢西安·维希克 :
p演算的资源使用分析。 日志。 方法计算。 科学。 2 ( 三 ) ( 2006 ) 安东·库塞拉 , 哈维尔·埃斯帕尔扎 , 理查·马 :
模型检查概率下推自动机。 日志。 方法计算。 科学。 2 ( 1 ) ( 2006 ) 弗朗索瓦·拉马克 , Lutz Stra汉堡 :
从证明网到自由*自治类别。 日志。 方法计算。 科学。 2 ( 4 ) ( 2006 ) 列昂尼德·利布金 :
未分级树的逻辑:概述。 日志。 方法计算。 科学。 2 ( 三 ) ( 2006 ) 卡斯滕·卢茨 , 弗兰克·沃尔特 :
拓扑关系的模态逻辑。 日志。 方法计算。 科学。 2 ( 2 ) ( 2006 ) 弗兰克·内文 , 托马斯·施温蒂克 :
关于存在析取、DTD和变量时XPath包含的复杂性。 日志。 方法计算。 科学。 2 ( 三 ) ( 2006 ) Phuong Nguyen公司 , 史提芬·古克 :
TC0和其他小型复杂类的理论。 日志。 方法计算。 科学。 2 ( 1 ) ( 2006 ) 克里斯蒂安·斯特夫林 :
用surpjective对推广推广的Lambda演算是保守的。 日志。 方法计算。 科学。 2 ( 2 ) ( 2006 ) Alwen Tiu先生 :
互动系统与结构II:深层推理的需要。 日志。 方法计算。 科学。 2 ( 2 ) ( 2006 ) 乐池团 , 奇塔·巴拉尔 , Tran Cao儿子 :
具有感知行为和不完全信息的领域的基于状态的回归公式。 日志。 方法计算。 科学。 2 ( 4 ) ( 2006 )