掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
其他
>
Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science
Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
Interpretations in Trees with Countably Many Branches
机译:
有很多分支的树中的解释
作者:
Rabinovich Alexander
;
Rubin Sasha
会议名称:
《Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2012年
2.
Conservative Concurrency in Haskell
机译:
Haskell中的保守并发
作者:
Sabel David
;
Schmidt-Schauss Manfred
会议名称:
《Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2012年
3.
Decidability of DPDA Language Equivalence via First-Order Grammars
机译:
通过一阶语法确定DPDA语言对等性
作者:
Jancar Petr
会议名称:
《Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2012年
4.
Automatic Sequences and Zip-Specifications
机译:
自动序列和邮编规范
作者:
Grabmayer Clemens
;
Endrullis Jorg
;
Hendriks Dimitri
;
Klop Jan Willem
;
Moss Lawrence S.
会议名称:
《Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2012年
5.
Step Indexed Realizability Semantics for a Call-by-Value Language Based on Basic Combinatorial Objects
机译:
基于基本组合对象的按值调用语言的步骤索引可实现性语义
作者:
Hoshino Naohiko
会议名称:
《Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2012年
6.
Extending Type Theory with Forcing
机译:
用强制扩展类型理论
作者:
Jaber Guilhem
;
Tabareau Nicolas
;
Sozeau Matthieu
会议名称:
《Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2012年
7.
The Semantics of Parsing with Semantic Actions
机译:
语义动作解析的语义
作者:
Atkey Robert
会议名称:
《Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2012年
8.
Countermodels from Sequent Calculi in Multi-Modal Logics
机译:
多模态逻辑中后续演算的反模型
作者:
Garg Deepak
;
Genovese Valerio
;
Negri Sara
会议名称:
《Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2012年
9.
Modular Construction of Cut-free Sequent Calculi for Paraconsistent Logics
机译:
超一致逻辑的无割后继计算的模块化构造
作者:
Avron Arnon
;
Konikowska Beata
;
Zamansky Anna
会议名称:
《Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2012年
10.
Approximate Verification of the Symbolic Dynamics of Markov Chains
机译:
马氏链符号动力学的近似验证
作者:
Agrawal Manindra
;
Akshay S.
;
Genest Blaise
;
Thiagarajan P.S.
会议名称:
《Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2012年
11.
A Perfect Model for Bounded Verification
机译:
边界验证的理想模型
作者:
Esparza Javier
;
Ganty Pierre
;
Majumdar Rupak
会议名称:
《Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2012年
12.
Deciding the Value 1 Problem for Probabilistic Leaktight Automata
机译:
确定概率泄漏自动机的值1问题
作者:
Fijalkow Nathanael
;
Gimbert Hugo
;
Oualhadj Youssouf
会议名称:
《Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2012年
13.
Dense-Timed Pushdown Automata
机译:
密集定时下推自动机
作者:
Abdulla Parosh Aziz
;
Atig Mohamed Faouzi
;
Stenman Jari
会议名称:
《Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2012年
14.
First-Order and Monadic Second-Order Model-Checking on Ordered Structures
机译:
一阶和单子二阶模型检查-有序结构
作者:
Engelmann Viktor
;
Kreutzer Stephan
;
Siebertz Sebastian
会议名称:
《Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2012年
15.
The Complete Proof Theory of Hybrid Systems
机译:
混合系统的完全证明理论
作者:
Platzer Andre
会议名称:
《Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2012年
16.
The Winning Ways of Concurrent Games
机译:
并发游戏的制胜法宝
作者:
Clairambault Pierre
;
Gutierrez Julian
;
Winskel Glynn
会议名称:
《Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2012年
17.
Mean-Payoff Pushdown Games
机译:
均值支付下推游戏
作者:
Chatterjee Krishnendu
;
Velner Yaron
会议名称:
《Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2012年
18.
A Computational Interpretation of Parametricity
机译:
参数化的计算解释
作者:
Bernardy Jean-Philippe
;
Moulin Guilhem
会议名称:
《Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2012年
19.
Short Propositional Refutations for Dense Random 3CNF Formulas
机译:
密集随机3CNF公式的简短命题反驳
作者:
Muller Sebastian
;
Tzameret Iddo
会议名称:
《Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2012年
20.
On the Significance of the Collapse Operation
机译:
论崩溃行动的意义
作者:
Parys Pawel
会议名称:
《Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2012年
21.
A Kantorovich-Monadic Powerdomain for Information Hiding, with Probability and Nondeterminism
机译:
具有信息和不确定性的信息隐藏的Kantorovich-Monadic Powerdomain
作者:
McIver Annabelle
;
Meinicke Larissa
;
Morgan Carroll
会议名称:
《Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2012年
22.
An Infinitary Affine Lambda-Calculus Isomorphic to the Full Lambda-Calculus
机译:
与完整Lambda微积分同构的非仿射Lambda微积分
作者:
Mazza Damiano
会议名称:
《Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2012年
23.
On Building Constructive Formal Theories of Computation Noting the Roles of Turing, Church, and Brouwer
机译:
关于构建计算形式形式理论的研究,注意图灵,教堂和布劳尔的作用
作者:
Constable Robert L.
会议名称:
《Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2012年
24.
Turing's Password: What Internet Cannot Leak
机译:
图灵的密码:Internet无法泄漏的内容
作者:
Levin Leonid A.
会议名称:
《Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2012年
25.
Learning Probabilistic Systems from Tree Samples
机译:
从树样本中学习概率系统
作者:
Komuravelli Anvesh
;
Pasareanu Corina S.
;
Clarke Edmund M.
会议名称:
《Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2012年
26.
Capsules and Separation
机译:
胶囊和分离
作者:
Jeannin Jean-Baptiste
;
Kozen Dexter
会议名称:
《Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2012年
27.
Combining Deduction Modulo and Logics of Fixed-Point Definitions
机译:
结合演绎模和定点定义逻辑
作者:
Baelde David
;
Nadathur Gopalan
会议名称:
《Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2012年
28.
Decomposing Quantified Conjunctive (or Disjunctive) Formulas
机译:
分解量化的合取(或合取)公式
作者:
Chen Hubie
;
Dalmau Victor
会议名称:
《Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2012年
29.
An Algebraic Preservation Theorem for Aleph-Zero Categorical Quantified Constraint Satisfaction
机译:
Aleph-Zero分类量化约束满足的代数守恒定理
作者:
Chen Hubie
;
Muller Moritz
会议名称:
《》
|
2012年
30.
Where First-Order and Monadic Second-Order Logic Coincide
机译:
一阶和单子二阶逻辑一致的地方
作者:
Elberfeld Michael
;
Grohe Martin
;
Tantau Till
会议名称:
《Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2012年
31.
Von Neumann's Biased Coin Revisited
机译:
冯·诺依曼的偏爱币再探
作者:
Bienvenu Laurent
;
Monin Benoit
会议名称:
《Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2012年
32.
Strong Complementarity and Non-locality in Categorical Quantum Mechanics
机译:
分类量子力学中的强互补性和非局部性
作者:
Coecke Bob
;
Duncan Ross
;
Kissinger Aleks
;
Wang Quanlong
会议名称:
《Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2012年
33.
Constructing Fully Complete Models for Multiplicative Linear Logic
机译:
为乘法线性逻辑构建完全完整的模型
作者:
Schalk Andrea
;
Steele Hugh
会议名称:
《Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2012年
34.
Graph Logics with Rational Relations and the Generalized Intersection Problem
机译:
有理关系图逻辑与广义相交问题
作者:
Barcelo Pablo
;
Figueira Diego
;
Libkin Leonid
会议名称:
《Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2012年
35.
The Complexity of Verbal Languages over Groups
机译:
群体语言的复杂性
作者:
Jain Sanjay
;
Miasnikov Alexei
;
Stephan Frank
会议名称:
《Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2012年
36.
The Complexity of Decomposing Modal and First-Order Theories
机译:
分解模态和一阶理论的复杂性
作者:
Goller Stefan
;
Jung Jean Christoph
;
Lohrey Markus
会议名称:
《Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2012年
37.
The Ordinal-Recursive Complexity of Timed-arc Petri Nets, Data Nets, and Other Enriched Nets
机译:
定时弧Petri网,数据网和其他丰富网络的序数递归复杂性
作者:
Haddad Serge
;
Schmitz Sylvain
;
Schnoebelen Philippe
会议名称:
《Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2012年
38.
A Constructive Proof of Dependent Choice, Compatible with Classical Logic
机译:
与经典逻辑兼容的依存选择的构造证明
作者:
Herbelin Hugo
会议名称:
《Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2012年
39.
Better Abstractions for Timed Automata
机译:
定时自动机的更好抽象
作者:
Herbreteau Frederic
;
Srivathsan B.
;
Walukiewicz Igor
会议名称:
《Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2012年
40.
Delta-Decidability over the Reals
机译:
真实的三角洲可判定性
作者:
Gao Sicun
;
Avigad Jeremy
;
Clarke Edmund M.
会议名称:
《Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2012年
41.
Regular Transformations of Infinite Strings
机译:
无限字符串的正则转换
作者:
Alur Rajeev
;
Filiot Emmanuel
;
Trivedi Ashutosh
会议名称:
《Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2012年
42.
Functionals Using Bounded Information and the Dynamics of Algorithms
机译:
使用有界信息的功能和算法动力学
作者:
Grigorieff Serge
;
Valarcher Pierre
会议名称:
《Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2012年
43.
Backward induction in games of perfect information
机译:
完美信息游戏中的向后感应
作者:
Aumann Robert J.
会议名称:
《Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2012年
44.
Coproducts of Monads on Set
机译:
组合单子的副产品
作者:
Admek JiríMilius Stefan
;
Bowler Nathan
;
Levy Paul B.
会议名称:
《Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2012年
45.
On the Magnitude of Completeness Thresholds in Bounded Model Checking
机译:
有界模型检查中完整性阈值的幅度
作者:
Bundala Daniel
;
Ouaknine Joel
;
Worrell James
会议名称:
《Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2012年
46.
The HOM Problem is EXPTIME-Complete
机译:
HOM问题已完成EXPTIME
作者:
Creus Carles
;
Gascon Adria
;
Godoy Guillem
;
Ramos Lander
会议名称:
《Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2012年
47.
On the Ordered Conjecture
机译:
关于有序猜想
作者:
Chen Yijia
;
Flum Jorg
会议名称:
《Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2012年
48.
Decidable Problems for Probabilistic Automata on Infinite Words
机译:
无限词概率自动机的可判定问题
作者:
Chatterjee Krishnendu
;
Tracol Mathieu
会议名称:
《Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2012年
49.
Partial-Observation Stochastic Games: How to Win When Belief Fails
机译:
局部观察随机游戏:信仰失败时如何获胜
作者:
Chatterjee Krishnendu
;
Doyen Laurent
会议名称:
《Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2012年
50.
Collapsible Pushdown Automata and Labeled Recursion Schemes: Equivalence, Safety and Effective Selection
机译:
可折叠下推自动机和标记递归方案:等效性,安全性和有效选择
作者:
Carayol Arnaud
;
Serre Olivier
会议名称:
《Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2012年
51.
Near Unanimity Constraints Have Bounded Pathwidth Duality
机译:
近乎一致的约束具有有限的路径宽度对偶性
作者:
Barto Libor
;
Kozik Marcin
;
Willard Ross
会议名称:
《Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2012年
52.
A Higher-Order Distributed Calculus with Name Creation
机译:
具有名称创建的高阶分布式微积分
作者:
Pierard Adrien
;
Sumii Eijiro
会议名称:
《Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2012年
53.
On the Complexity of Linear Authorization Logics
机译:
线性授权逻辑的复杂性
作者:
Nigam Vivek
会议名称:
《Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2012年
54.
Non-definability of Languages by Generalized First-order Formulas over (N,+)
机译:
(N,+)上的广义一阶公式对语言的不可定义性
作者:
Krebs Andreas
;
Sreejith A.V.
会议名称:
《Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2012年
55.
Term Rewriting and Lambda Calculus
机译:
术语重写和Lambda微积分
作者:
Klop Jan Willem
会议名称:
《Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2012年
56.
Privacy, Anonymity, and Accountability in Ad-Supported Services
机译:
广告支持服务中的隐私权,匿名性和责任制
作者:
Feigenbaum Joan
会议名称:
《Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2012年
57.
Game Semantics in String Diagrams
机译:
字符串图中的游戏语义
作者:
Mellies Paul-Andre
会议名称:
《Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2012年
58.
Decidable Elementary Modal Logics
机译:
可判定的基本模态逻辑
作者:
Michaliszyn Jakub
;
Otop Jan
会议名称:
《Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2012年
59.
Two-Variable First-Order Logic with Equivalence Closure
机译:
等价闭包的二变量一阶逻辑
作者:
Kieronski Emanuel
;
Michaliszyn Jakub
;
Pratt-Hartmann Ian
;
Tendera Lidia
会议名称:
《Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2012年
60.
Foundational, Compositional (Co)datatypes for Higher-Order Logic: Category Theory Applied to Theorem Proving
机译:
高阶逻辑的基础,组合(Co)数据类型:应用于定理证明的类别理论
作者:
Traytel Dmitry
;
Popescu Andrei
;
Blanchette Jasmin C.
会议名称:
《Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2012年
61.
Higher Semantics of Quantum Protocols
机译:
量子协议的高级语义
作者:
Vicary Jamie
会议名称:
《Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2012年
62.
Induction in Algebra: A First Case Study
机译:
代数归纳:第一个案例研究
作者:
Schuster Peter
会议名称:
《Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2012年
63.
An Automata Model for Trees with Ordered Data Values
机译:
具有有序数据值的树的自动机模型
作者:
Tan Tony
会议名称:
《Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2012年
64.
Inductive Types in Homotopy Type Theory
机译:
同伦类型理论中的归纳类型
作者:
Awodey Steve
;
Gambino Nicola
;
Sojakova Kristina
会议名称:
《Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2012年
65.
Logics of Dynamical Systems
机译:
动力系统的逻辑
作者:
Platzer Andre
会议名称:
《Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2012年
66.
Lower Bounds for Existential Pebble Games and k-Consistency Tests
机译:
存在卵石游戏和k一致性测试的下界
作者:
Berkholz Christoph
会议名称:
《Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2012年
意见反馈
回到顶部
回到首页