默认搜索操作

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

问别人

自动推理杂志，第48卷

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

SPARQL查询

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

第48卷第1期，2012年1月

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jar/ZucchelliN12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/ZucchelliN12
丹尼尔·祖切利,恩里卡·尼科里尼:
无穷状态系统模型检验的一个判定结果。 1-42
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 轴颈/jar/FeltyM12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/FeltyM12
艾米·费尔蒂,阿尔贝托·莫米利亚诺:
混合-一种定义性的两级高阶抽象语法推理方法。 43-105
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jar/BorralerasLORR12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/BorralerasLORR12
克里斯蒂娜·博拉莱拉斯,萨尔瓦多·卢卡斯,阿尔伯特·奥利弗拉斯,恩里克·罗德里格斯-卡博内尔,阿尔伯特·鲁比奥:
求解多项式约束的SAT模线性算法。 107-131

第48卷第2期，2012年2月

安全与改写专题

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日志/jar/Comon-LundhM12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/Comon-LundhM12
休伯特·科蒙·隆德,凯瑟琳·梅多斯:
安全和改写前言特刊。 133-134
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jar/AnantharamanLLNR12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/AnantharamanLLNR12
西娃·阿南塔拉曼,海琳,克里斯托弗·林奇,巴利亚特·纳伦德兰,米夏·鲁西诺维奇:
统一模同态加密。 135-158
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/罐子/Guttman 12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/Guttman12
约书亚·D·古特曼:
链空间的状态和进展：证明公平交换。 159-195
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jar/KremerMT12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/KremerMT12
史蒂夫·克莱默,安托万·梅西耶,拉尔夫·特雷恩:
静态等效判定的简化方程理论。 197-217
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/罐/CiobacaDK12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/CiobaaDK12
斯特凡·西奥巴,圣埃芬妮·德劳恩,史蒂夫·克莱默:
收敛等式理论下安全协议中的计算知识。 219-262
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/罐/骑士12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/ChevalierR12
亚尼克骑士,米夏埃尔·鲁西诺维奇:
符号推导等价性的判定。 263-292

第48卷第3期，2012年3月

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/jar/EchenimP12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/EchenimP12
Mnacho Echenim公司,尼古拉斯·佩尔蒂埃:
可满足模理论的实例化方案。 293-362
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/jar/Otop12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/Otop12
Jan Otop公司:
电子统一与常量vs.通用电子统一。 363-390
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jar/BenhamouPS12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/BenhamouPS12
贝莱德·本哈莫,莱昂内尔·巴黎,皮埃尔·西格尔:
在逻辑框架中处理可满足性和n元CSP。 391-417

第48卷第4期，2012年4月

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/jar/VerbeekS12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/VerbeekS12
弗里克·韦贝克,朱利安·施马耳茨:
证明珠：Dally和Seitz关于互连网络中无死锁路由的充要条件的形式证明。 419-439
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/jar/CortierD12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/CortierD12
Véronique Cortier公司,圣埃芬妮·德劳恩:
安全协议中两种知识概念的可判定性和组合结果。 441-487
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jar/JanicicNQ12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/JanicicNQ12
Predrag Janicic公司,朱利安·纳布克斯,佩德罗·夸雷斯马:
面积法-重述。 489-532

管理网站设置

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