停止战争！

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

对于科学家来说：

默认搜索操作

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

询问他人

自动推理杂志（JAR）第36卷

>主页 >期刊销售 >自动推理杂志

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

第36卷，编号1-2，2006年1月

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jar/ArmandoBCRV06
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/ArmandoBCRV06
亚历山德罗·阿曼多,大卫·A·巴思,豪尔赫·库拉尔,米夏·鲁西诺维奇,卢卡·维甘:
安全协议分析的自动推理。 1-3
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/jar/BellaMP06
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/BellaMP06
詹保罗·贝拉,法比奥·马萨奇,劳伦斯·保尔森:
验证SET购买协议。 5-37
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jar/ChadhaKS06
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/ChadhaKS06
罗希特·查达,史蒂夫·克莱默,安德烈·塞德洛夫:
多方合同签订的形式分析。 39-83
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jar/DelauneJ06
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/DelauneJ06
圣埃芬妮·德劳恩,弗洛伦特·雅克马尔:
针对离线字典攻击的概率加密协议安全性的决策程序。 85-124
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jar/HuttelS06
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/HuttelS06
汉斯·海特尔,吉尔·斯尔巴:
扩展Ping-Pong协议的可决定性问题。 125-147
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 轴颈/震击器/SteelB06
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/SteelB06
格雷厄姆钢铁公司,阿兰·邦迪:
通过拒绝不正确的归纳推测攻击组协议。 149-176

第36卷第3期，2006年4月

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/jar/AudemardBH06
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/AudemardBH06
吉尔斯·奥德马尔,贝莱德·本哈莫,劳伦特·海诺克:
FOL有限模型搜索中对称性的预测和检测。 177-212
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jar/KuncakNR06
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/KuncakNR06
维克托·昆恰克,Huu Hai Nguyen（胡海阮）,马丁·里纳德:
用Presburger算法判定布尔代数。 213-239
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jar/FialaA06
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/FialaA06
尼克·C·菲亚拉,基思·M·阿格雷:
搜索指数6组的最短单公理。 241-257
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jar/Simpson06
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/Simpson06
卡洛斯·辛普森:
向计算机解释Gabriel-Zisman本地化。 259-285

第36卷第4期，2006年4月

经验成功的自动推理：系统问题

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/jar/FischerSS06
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/FischerSS06
伯恩德·菲舍尔,杰夫·萨特克利夫,斯蒂芬·舒尔茨:
经验成功的自动推理：系统问题。 287
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/jar/Lochner06
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/Lochner06
伯恩德·洛什内尔:
实施KBO时的注意事项。 289-310
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/jar/Beeson06
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/Beeson06
迈克尔·比森:
Otter-Lambda中的数学归纳法。 311-344
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/jar/GiunchigliaLM06
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/GiunchigliaLM06
恩里科·金奇利亚,尤利亚·利勒,马可·马拉特:
基于命题可满足性的答案集编程。 345-377
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jar/爱尔兰ECCB06
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/IrelandECCB06
安德鲁·爱尔兰,比尔·J·埃利斯,安德鲁·库克,罗德里克·查普曼,珍妮特·巴恩斯:
一种集成的高完整性软件验证方法。 379-410

服务

管理网站设置

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