停止战争！

Остановите войну!

对于科学家：

默认搜索操作

组合dblp搜索
作者搜索
场馆搜索
出版物搜索

问别人

计算机科学中的逻辑方法，第8卷

>主页 >期刊销售 >计算机科学中的逻辑方法

优化列表

优化激活！

放大了??属于??记录

查看优化列表

将细化列表导出为

显示全部 ??记录

2012年第8卷第1期

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-1111-5223
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-111-5223
阿萨勒·阿吉,圣埃芬·高伯特,埃里克·古堡:
将策略迭代与半定松弛耦合，以计算静态分析中的精确数值不变量。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-1201-3731
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1201-3731
西里尔·科恩,阿西亚·马布比:
实代数几何中的形式证明：从有序域到量词消除。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-1201-1705
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1201-1705
丹尼斯·库西诺:
关于作为强规范化语义的可约性候选者的完备性。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-1201-1716
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1201-1716
托马斯·马祖,加文·洛:
具有复制组件的系统的类型约简理论。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-1201-0597
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1201-0597
米科拉伊·博扬奇克,斯拉沃米尔·拉索塔:
捕获XPath的数据自动机的扩展。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-1111-5652
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1111-5652
亚历山大·富克斯,阿米特·戈尔,吉姆·格兰迪,萨瓦·克里斯蒂,塞萨尔·蒂内利:
平等理论的地面插值。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-1201-0557
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1201-0557
利伯·巴托,马金·科齐克:
吸收子代数、循环项和约束满足问题。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-1201-5240
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1201-5240
詹姆斯·切尼:
从属名词类型理论。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-112-5761
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-112-5761
格里戈·罗苏,冯晨:
参数监测的语义和算法。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-1007-0825
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1007-0825
Jean-Louis Krivine女士:
可实现代数II:ZF+DC的新模型。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-0903-3741
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-0903-3741
巴勃罗·阿里吉,亚历杭德罗·迪亚斯·卡洛:
线性代数Lambda-Calculus的标量系统F：走向量子物理逻辑。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-1202-0914
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1202-0914
塞巴斯蒂安·鲁道夫,马库斯·克罗奇,帕斯卡·希茨勒:
使用决策图和析取数据日志对描述逻辑SHIQb进行基于类型限制的推理。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-1110-6183
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1110-6183
塞斯·福格蒂,莫舍·瓦尔迪:
比奇互补与规模变化终止。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-1202-2287
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1202-2287
Jean Goubault Larrecq公司:
QRB-域和概率功率域。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-1110-1439
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1110-1439
托马斯·施温蒂克,托马斯·泽姆:
具有二阶关系的二元逻辑。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-1105-4537
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1105-4537
托马斯·布莱班特,达米安·普斯:
Coq中Kleene代数的判定。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-1202-2086
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1202-2086
维维亚娜·博诺,卢卡·帕多瓦尼:
键入无拷贝消息传递。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-1202-4905
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1202-4905
安德烈亚·阿斯佩蒂,威尔默·里奇奥蒂,克劳迪奥·萨塞尔多蒂·科恩,恩里科·塔西:
（Co）归纳结构演算的双向精化算法。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-1203-0115
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1203-0115
冈纳·威尔肯,安德烈亚斯·魏尔曼:
哥德尔T扩展霍华德赋值的推导长度分类。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-1202-6352
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1202-6352
马提亚斯·巴兹,阿加塔·恰巴托尼,克里斯蒂安·弗缪勒（Christian G.Fermüller）:
用Delta证明prenex-Gödel逻辑的定理：检查有效性和不可满足性。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-1202-3957
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1202-3957
迭戈·菲奎拉:
有限单词和树上的交替寄存器自动机。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-1202-3855
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1202-3855
保罗·波吉特:
复杂振荡的快速点。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-1203-0780
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1203-0780
朱塞佩·卡斯塔尼亚,Mariangiola Dezani-Ciancaglini公司,卢卡·帕多瓦尼:
关于全局类型和多方会话。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-1101-1449
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1101-1449
史提芬·古克,莉拉字体:
线性代数的形式理论。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-1203-3724
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1203-3724
安托万·米内:
嵌入式实时并行C程序运行时错误的静态分析。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-1203-3167
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1203-3167
斯蒂芬·克鲁泽:
一元二阶逻辑的参数化不可测性。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-1203-0670
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1203-0670
贝尼亚米·阿卡托利,迪莉娅·凯斯纳:
结构lambda-calculus的强正规化模置换的保持。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 轴颈/corr/abs-1203-4716
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1203-4716
安德烈亚斯·阿贝尔,加布里埃尔·谢勒:
论谓词类型理论中的无关性和算法平等。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-1201-3601
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1201-3601
弗里克·维迪克:
交互式定理证明的过程式和陈述式的综合。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-1203-5121
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1203-5121
高仁青藤,富山义彦:
证明非终止项重写系统合流的约简保留完成。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-1203-3814
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1203-3814
伊索尔德·阿德勒,马克·韦耶:
一阶公式的树宽度。

2012年第2期第8卷

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-1107-4751
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1107-4751
Benedikt Ahrens公司:
类型化抽象语法的扩展首字母。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-1203-6412
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1203-6412
阿奎那·霍伯,克里斯蒂安·吉尔吉纳:
并发分离逻辑中的障碍：现在有了工具支持！
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-1107-1963
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1107-1963
马丁·蒙德亨克,费利克斯·韦斯:
直觉暗示使模型检查变得困难。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-1204-2386
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1204-2386
罗伯托·布鲁托梅索,西尔维奥·吉拉尔迪,西尔维奥·兰伊斯:
阵列理论的无量化器插值。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-1204-4322
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1204-4322
托马斯·詹森,弗洛伦特·基什内尔,大卫·皮哈迪:
保护克隆。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-1205-0357
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1205-0357
帕特里克·巴尔:
术语图重写的收敛模式。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-1205-0126
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1205-0126
马泰奥·米奥:
关于概率μ演算的博弈和指称语义的等价性。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-1205-1050
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1205-1050
阿拉斯代尔·厄克哈特:
常规分辨率样张的宽度和尺寸。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 轴颈/corr/abs-1205-2492
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1205-2492
罗伯特·艾奇,帕特里夏·约翰,尼尔·加尼:
优化电感类型。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-1205-2519
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1205-2519
辛西娅·科普,费尔克·范·拉姆斯登克:
代数泛函系统的动态依赖对。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-1205-4458
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1205-4458
雷米发动机盖,阿兰·芬克尔,杰罗姆·勒鲁,马克·泽顿:
具有一个零测试的模型检验矢量加法系统。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-1206-0357
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1206-0357
尼尔·加尼,帕特里夏·约翰,Clément Fumex公司:
普通纤维化诱导。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-1205-3612
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1205-3612
达米安·普斯:
解构类型代数和着色循环线性逻辑。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 轴颈/cor/abs-1206-0136
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1206-0136
克里斯蒂安·厄本,塞萨里·卡利西克:
标称伊莎贝尔中的一般装订和Alpha-E等效性。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-1205-2931
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1205-2931
道格拉斯·S·布里奇斯:
预压缩公寓空间。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-1206-4444
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1206-4444
蒂诺·泰格,马丁·弗伦泽:
随机布尔可满足性问题的广义Craig插值及其在概率状态可达性和区域稳定性中的应用。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-1104-4983
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1104-4983
张丽君,大卫·N·詹森,弗莱明·尼尔森,霍尔格·赫尔曼斯:
基于自动的CSL模型检查。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-1206-3182
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1206-3182
亚历山德罗·西马蒂,伊曼·纳拉萨姆迪亚,马可·罗维里:
使用显式调度程序和符号线程进行软件模型检查。

2012年第8卷第3期

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-1203-6859
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1203-6859
马修·帕金森,亚历山大·萨默斯:
分离逻辑与隐式动态框架之间的关系。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-1206-4935
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1206-4935
克莱门斯·库普克,亚历山大·库兹,Yde Venema公司:
联合掩护模式的完整性。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-1010-4422
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1010-4422
阿尔贝托·格里乔,Thi Thieu Hoa Le先生,罗伯托·塞巴斯蒂亚尼:
满意模线性整数算法中的高效插值生成。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-1206-5694
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1206-5694
西田直树,酒井正彦,酒井俊彦:
通过与线性相关的超属性对条件项重写系统进行解列的稳健性。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-1103-5215
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1103-5215
戴三民乐,史提芬·古克:
形式化随机匹配算法。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-1207-6972
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1207-6972
彼得·塞林格:
有限维希尔伯特空间对于匕首紧闭范畴是完备的。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-1201-3733
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1201-3733
山形义由纪夫:
自由逻辑中的有界算法。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-1207-3223
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1207-3223
皮埃尔·克莱兰堡:
存在高阶引用时的类型同构（扩展版本）。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-1207-0393
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1207-0393
扬·克拉切克:
带有Nisan-Widgerson生成器的学生-教师游戏的伪有限硬实例。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-1207-3816
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1207-3816
本·莫斯科夫斯基（Ben C.Moszkowski）:
具有无限时间的命题区间时间逻辑的一个完备公理系统。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-1208-0713
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1208-0713
曼弗雷德·库夫莱特纳,帕斯卡·韦尔:
关于FO中的逻辑层次结构²-可定义语言。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-1208-0515
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1208-0515
乌戈·达尔·拉戈,马提尼:
关于构造函数重写系统和Lambda演算。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-0909-5097
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-0909-5097
曼努埃尔·博迪尔斯基,马丁·希尔斯,巴纳比·马丁:
关于约束满足的通用代数方法的范围。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/cor/abs-1207-2732
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1207-2732
亚历山大·库兹,杰里·罗西克:
余代数的强完备逻辑。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-1208-2245
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1208-2245
郑西忠,罗伯特·雷廷格:
简单可计算平面曲线的点可分离类。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-1207-3262
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1207-3262
Sylvain Conchon公司,伊芙琳·孔特让,穆罕默德·伊格内拉拉:
经典重写和地面AC完成模肖斯塔克理论：设计与实现。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 轴颈/cor/abs-1207-4286
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1207-4286
约格·布劳尔,安迪·金:
无量子化消除的传递函数合成。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-1208-5909
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1208-5909
Pawel公园,伊戈尔·瓦卢基维奇:
弱交替时间自动机。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-1208-6172
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1208-6172
米科拉伊·博扬奇克,霍华德·斯特劳宾,伊戈尔·瓦卢凯维奇:
森林代数的圈积及其在树逻辑中的应用。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-1209-1916
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1209-1916
穆罕默德·法乌齐·阿提格:
有序多按钮自动机的模型检验。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-1209-1738
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1209-1738
戴安娜·菲舍尔,卢卡斯·凯泽:
线性混合系统定量多演算的模型检验。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-1208-5895
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1208-5895
雅各布·塔姆斯堡,拉尔斯·比克达尔,杨红seok:
以一换二：解除分离逻辑断言。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-1209-0359
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1209-0359
亚历山大·休纳,杰罗姆·勒鲁,安卡·穆斯科尔,Grégoire萨特雷:
通信下推系统的可达性分析。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-1209-0800
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1209-0800
迈克尔·霍尔特曼,卢卡斯·凯泽,沃尔夫冈·托马斯:
常规无限游戏中的前瞻度。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-1207-7167
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1207-7167
Wonchan Lee公司,容伯姆·荣格（Yungbum Jung）,王朝霞（Bow-Yaw Wang）,Kwangkeun Yi公司:
基于学习的无量词循环不变量推理的谓词生成。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-1208-5129
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1208-5129
米科拉伊·博扬奇克,吕克·塞古芬,霍华德·斯特劳宾:
分段可测试树语言。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-1208-2159
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1208-2159
哈罗·威梅尔,卡斯滕·沃尔夫:
将CEGAR应用于Petri网状态方程。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-1208-4549
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1208-4549
阿兰·芬克尔,让·古堡-拉雷克:
WSTS的正向分析，第二部分：完成WSTS。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-1209-0643
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1209-0643
托马斯·马丁·高利察,大卫·莫尼奥:
通过策略迭代在简洁表示的控制流图中生成不变量。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-1012-1255
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1012-1255
Predrag Janicic公司:
均匀还原为SAT。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-1009-1208
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1009-1208
埃尔马尔·伯勒,纳迪娅·克里诺,马提亚斯·加洛塔,斯特芬·赖斯,亨宁·施诺尔,赫里贝特·沃尔默:
布尔电路作为布尔函数的数据结构：有效算法和难题。

2012年第8卷第4期

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-1208-3596
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1208-3596
拉尔斯·比克达尔,拉斯穆斯·埃杰莱斯·莫格伯格,简·施温哈默,克里斯蒂安·斯托夫林:
合成保护域理论的第一步：树拓扑的阶跃诱导。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-1209-4268
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1209-4268
杰夫·艾格,拉斯穆斯·埃杰莱斯·莫格伯格,亚历克斯·辛普森:
丰富效果演算中的线性使用CPS翻译。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 轴颈/corr/abs-1209-2890
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1209-2890
安东尼奥·布恰雷利,阿尔贝托·卡拉罗,托马斯·埃尔哈德,朱利奥·曼佐内托:
通过泰勒展开，对资源Lambda微积分进行全面抽象，并进行测试。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 轴颈/corr/abs-1210-1200
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1210-1200
马克·贝泽姆,中田惠子,塔尔莫·乌斯塔卢:
在有限的红色溪流上。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-1210-0420
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1210-0420
曼纽尔·博德斯基,彼得·琼森,蒂莫·冯·奥尔岑:
半代数约束的本质凸性和复杂性。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-1208-6483
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1208-6483
皮尔雷·马洛·丹尼·卢,吉田信子,安迪·贝杰利里,雷蒙德·胡:
参数化多方会话类型。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/corr/abs-1108-0556
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1108-0556
弗里茨·米勒:
关于Berry关于PCF稳定阶的猜想。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-1207-6267
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1207-6267
纳塔莉·贝特朗,蒂埃里·杰伦,阿梅利·斯塔纳,莫伊斯·克里钦:
非确定性时间自动机的离线测试选择与测试目的。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-1210-2972
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-120-2972
菲利普·达隆多,斯特凡·德姆里,罗兰·梅耶,克里斯托夫·莫尔万:
Petri网可达图：一阶属性的可判定状态。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-1210-0574
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1210-0574
拉尔斯·库赫茨,伯恩德·芬克贝纳:
具有过去和边界的线性时间时序逻辑的高效并行路径检查。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-1104-0193
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1104-0193
乌戈·达尔·拉戈,马可·加博阿迪:
线性相关类型和相对完整性。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-1210-2620
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1210-2620
艾米莉·盖尔布兰特,打捆机十类:
有限树上一元二阶逻辑片断的完全公理化。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 轴颈/cor/abs-1210-6379
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1210-6379
马里奥·布拉维蒂,辛齐亚·迪·朱斯托,豪尔赫·佩雷斯,吉安路易吉·扎瓦塔罗:
适应性流程。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 轴颈/corr/abs-1004-1598
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1004-1598
鲍勃·科克,西蒙·佩德里克斯:
范畴量子力学中的环境和经典通道。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-1209-5615
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1209-5615
罗伯特·雷廷格:
关于朗道常数的可计算近似。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-1104-1987
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1104-1987
安德烈·普拉泽:
微分不变量的结构和微分切割消除。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-1206-3357
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1206-3357
安德烈·普拉泽:
分布式混合系统量化微分动态逻辑的完全公理化。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-1211-1511
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1211-1511
马泰奥·米奥:
具有独立乘积的概率模态微积分。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-1211-5190
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1211-5190
拉杜·马尔代尔,鲁卡·凯德利,金·G·拉森:
连续马尔科夫逻辑-公理化和量化元理论。

服务

管理网站设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能都是默认情况下关闭。你需要选择加入，让他们变得活跃。此处的所有设置将在您的web浏览器中存储为cookie。有关更多信息查看我们的F.A.Q。