跳到主要内容
高级搜索
浏览
关于
登录
寄存器
高级搜索
日记账
杂志
诉讼
书
信号发生器
会议
人
更多
搜索ACM数字图书馆
搜索
搜索
搜索结果
搜索
搜索
搜索
高级搜索
应用的筛选器
语义和推理
逻辑与计算杂志
拆除过滤器
全部清除
人
机构
维戈大学
(8)
伦敦国王学院
(4)
荷兰乌得勒支大学
(4)
伦敦帝国理工学院
(2)
俄罗斯科学院信息传输问题研究所
(2)
皇家墨尔本理工大学
(2)
特拉维夫大学
(2)
不来梅大学
(2)
英国埃塞克斯大学
(2)
波尔图大学
(2)
CNRS国家科学研究中心
(1)
柏林洪堡大学
(1)
莫斯科国立大学
(1)
巴黎萨克利师范学校
(1)
澳大利亚国立大学
(1)
都柏林三一学院
(1)
班堡大学
(1)
卡尔加里大学
(1)
锡耶纳大学
(1)
维拉诺瓦大学
(1)
出版日期
更改此筛选器后，页面将自动刷新
引文输出
挑选出来的
所有结果
选择引文格式
BibTeX公司
尾注
ACM参考
在开始新的批量导出之前，请先下载或关闭以前的搜索结果导出。
预览不可用。
单击下载，
状态对话框
将打开以启动导出过程。
该过程可能需要
几分钟后
但一旦完成，一个文件将可以从您的浏览器下载。
在导出过程中，您可以继续浏览DL。
下载
下载引文
复制引文
136
结果
用于：
[
发布于
：逻辑与计算杂志
和
[
2012年CCS
：语义和推理]
编辑搜索
保存搜索
保存搜索失败，请稍后重试
搜索已保存
（我保存的搜索）
保存此搜索
求你了
登录
以保存搜索并接收与搜索条件匹配的新内容的通知。
搜索ACM全文集（741516条记录）
|
将搜索范围扩大到ACM计算机文献指南（3699459条记录）
人
显示
1-20
属于
136个结果
过滤器
每页：
10
20
50
排序依据：
选择
关联
最新发布时间
发布次数最多
名字A-Z
名字Z-A
姓氏A-Z
姓氏Z-A
显示
1-20
属于
136位作者
谢尔盖一·阿迪安
英国皇家科学院斯特克罗夫数学研究所
阿达梅克
布拉格捷克技术大学
马克·艾基尔
CentraleSupélec-巴黎-萨克利
何塞·拉蒙·恩里克·阿拉佐拉·拉米雷斯
普埃布拉有功自治大学
亚历山德罗·阿塔尔
博赞博尔扎诺自由大学
阿诺·阿夫伦
特拉维夫大学
阿诺·阿夫伦
史蒂夫·马奥迪
卡内基梅隆大学
马提亚斯·巴兹
维也纳科技大学
菲利普·巴尔比亚尼
图卢兹大学
安德烈·鲍尔
卢布尔雅那大学
列夫·D·别克拉米舍夫
HSE大学
乔纳森·本·奈姆
图卢兹计算机科学研究所
Trevor J M长沙发
利物浦大学
尼克·贝扎尼什维利
阿姆斯特丹大学
吉尔赫梅·比腾古
圣卡塔里纳联邦大学
尤兰达·布兰科·费尔南德斯
AtlanTTic，西班牙
斯蒂芬·布鲁姆
史蒂文斯理工学院
曼纽尔·博德斯基
德累斯顿工科大学
费利克斯·鲍
人工智能研究所
1
2
三
4
5
6
7
您的搜索结果下载请求
我们正在准备下载您的搜索结果。。。
文件准备好后，我们会在这里通知您。
立即下载！
您的搜索结果下载请求
您的搜索结果引用文件现已准备就绪。
立即下载！
您的搜索结果下载请求
您的搜索导出查询已过期。
请重试。
