掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
Annual ACM/IEEE Symposium on Logic in Computer Science
Annual ACM/IEEE Symposium on Logic in Computer Science
召开年:
2013
召开地:
New Orleans, LA(US)
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
Positive First-order Logic on Words
机译:
单词上的正数逻辑
作者:
Denis Kuperberg
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2021年
关键词:
Computer science;
Automata;
Tools;
Cost function;
2.
Higher Lenses
机译:
更高的镜头
作者:
Paolo Capriotti
;
Nils Anders Danielsson
;
Andrea Vezzosi
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2021年
关键词:
Optical fibers;
Computer science;
Optics;
Gettering;
Lenses;
3.
Initial Limit Datalog: a New Extensible Class of Decidable Constrained Horn Clauses
机译:
初始限制数据量:一个新的可扩展类可解释的约束喇叭条文
作者:
Toby Cathcart Burn
;
Luke Ong
;
Steven Ramsay
;
Dominik Wagner
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2021年
关键词:
Computer science;
Computational modeling;
Model checking;
4.
The Laplace Mechanism has optimal utility for differential privacy over continuous queries
机译:
拉普拉斯机制具有用于连续查询的差异隐私的最佳实用性
作者:
Natasha Fernandes
;
Annabelle McIver
;
Carroll Morgan
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2021年
关键词:
Computer science;
Differential privacy;
5.
Separating Rank Logic from Polynomial Time
机译:
从多项式时间分离等级逻辑
作者:
Moritz Lichter
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2021年
关键词:
Computer science;
6.
Session Logical Relations for Noninterference
机译:
非干扰的逻辑关系
作者:
Farzaneh Derakhshan
;
Stephanie Balzer
;
Limin Jia
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2021年
关键词:
Computer science;
Protocols;
Semantics;
Communication channels;
Control systems;
Security;
7.
Orbit-Finite-Dimensional Vector Spaces and Weighted Register Automata
机译:
轨道 - 有限维矢量空间和加权寄存器自动机
作者:
Mikołaj Bojańczyk
;
Bartek Klin
;
Joshua Moerman
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2021年
关键词:
Space vehicles;
Computer science;
Automata;
Orbits;
Registers;
Complexity theory;
8.
Zero-one laws for provability logic: Axiomatizing validity in almost all models and almost all frames
机译:
零一法定律,可证明逻辑:几乎所有模型中的有效性以及几乎所有框架
作者:
Rineke Verbrugge
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2021年
关键词:
Computer science;
Computational modeling;
Finite element analysis;
Complexity theory;
9.
Responsibility and verification: Importance value in temporal logics
机译:
责任和验证:时间逻辑中的重要价值
作者:
Corto Mascle
;
Christel Baier
;
Florian Funke
;
Simon Jantsch
;
Stefan Kiefer
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2021年
关键词:
Computer science;
Adaptation models;
Computational modeling;
Games;
Probabilistic logic;
Complexity theory;
Testing;
10.
Multi-Structural Games and Number of Quantifiers
机译:
多结构游戏和量词数量
作者:
Ronald Fagin
;
Jonathan Lenchner
;
Kenneth W. Regan
;
Nikhil Vyas
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2021年
关键词:
Computer science;
Lattices;
Games;
Size measurement;
Complexity theory;
Machinery;
11.
Smart Choices and the Selection Monad
机译:
智能选择和选择Monad
作者:
Martín Abadi
;
Gordon Plotkin
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2021年
关键词:
Semantics;
Decision making;
Machine learning;
Games;
Writing;
Pareto optimization;
Probabilistic logic;
12.
No-Rainbow Problem and the Surjective Constraint Satisfaction Problem
机译:
无彩虹问题和调查约束满足问题
作者:
Dmitriy Zhuk
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2021年
关键词:
Computer science;
Computational complexity;
13.
A Normal Form Characterization for Efficient Boolean Skolem Function Synthesis
机译:
高效布尔斯的正常形式表征综合性函数合成
作者:
Preey Shah
;
Aman Bansal
;
S. Akshay
;
Supratik Chakraborty
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2021年
关键词:
Computer science;
Boolean functions;
Autonomous systems;
Knowledge representation;
Benchmark testing;
Control systems;
Complexity theory;
14.
The Space of Interaction
机译:
互动空间
作者:
Beniamino Accattoli
;
Ugo Dal Lago
;
Gabriele Vanoni
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2021年
关键词:
Weight measurement;
Geometry;
Turing machines;
Semantics;
Games;
Tools;
Turning;
15.
Verifying higher-order concurrency with data automata
机译:
使用Data Automata验证高阶并发性
作者:
Alex Dixon
;
Ranko Lazić
;
Andrzej S. Murawski
;
Igor Walukiewicz
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2021年
关键词:
Concurrent computing;
Semantics;
Automata;
Games;
Vegetation;
Encoding;
Data models;
16.
Differentiation in Logical Form
机译:
以逻辑形式差异化
作者:
Abbas Edalat
;
Mehrdad Maleki
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2017年
17.
On Strong Determinacy of Countable Stochastic Games
机译:
关于可数随机游戏的强大决定性
作者:
Stefan Kiefer
;
Richard Mayr
;
Mahsa Shirmohammadi
;
Dominik Wojtczak
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2017年
关键词:
Stochastic games;
Strong determinacy;
Infinite state space;
18.
Typability in Bounded Dimension
机译:
有界维度的可态性
作者:
Andrej Dudenhefner
;
Jakob Rehof
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2017年
19.
Quantifiers on languages and codensity monads
机译:
语言和编音密集型MONADS上的量词
作者:
Mai Gehrke
;
Daniela Petrisan
;
Luca Reggio
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2017年
20.
Register automata with linear arithmetic
机译:
使用线性算术注册自动机
作者:
Yu-Fang Chen
;
Ondrej Lengal
;
Tony Tan
;
Zhilin Wu
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2017年
21.
MDPs with Energy-Parity Objectives
机译:
具有能量识别目标的MDP
作者:
Richard Mayr
;
Sven Schewe
;
Patrick Totzke
;
Dominik Wojtczak
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2017年
22.
First-Order Logic with Counting: At Least, Weak Hanf Normal Forms Always Exist and Can Be Computed!
机译:
具有计数的一阶逻辑:至少,弱HANF正常形式始终存在并且可以计算!
作者:
Dietrich Kuske
;
Nicole Schweikardt
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2017年
23.
The Complexity of Minimal Inference Problem for Conservative Constraint Languages
机译:
保守限制语言最小推理问题的复杂性
作者:
Michal Wrona
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2017年
24.
Domains and Event Structures for Fusions
机译:
融合域和事件结构
作者:
Paolo Baldan
;
Andrea Corradini
;
Fabio Gadducci
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2017年
关键词:
Event structures;
Fusions;
Graph rewriting;
Process calculi;
25.
Fully Abstract Encodings of λ-Calculus in HOcore through Abstract Machines
机译:
通过抽象机器的Hocore中λ-微积分的全摘要编码
作者:
Malgorzata Biernacka
;
Dariusz Biernacki
;
Serguei Lenglet
;
Piotr Polesiuk
;
Damien Pous
;
Alan Schmitt
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2017年
26.
Strategy Logic with Imperfect Information
机译:
具有不完美信息的策略逻辑
作者:
Raphael Berthon
;
Bastien Maubert
;
Aniello Murano
;
Sasha Rubin
;
Moshe Y. Vardi
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2017年
27.
Unrestricted Stone Duality for Markov Processes
机译:
马尔可夫进程的不受限制的石头二元性
作者:
Robert Furber
;
Dexter Kozen
;
Kim Larsen
;
Radu Mardare
;
Prakash Panangaden
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2017年
28.
Partial Derivatives on Graphs for Kleene Allegories
机译:
用于Kleene寓言的图表中的部分衍生物
作者:
Yoshiki Nakamura
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2017年
29.
A Type-Theoretical Definition of Weak ω-Categories
机译:
弱ω类别的类型理论定义
作者:
Eric Finster
;
Samuel Mimram
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2017年
30.
Data structures for quasistrict higher categories
机译:
Quasistrict高等类别的数据结构
作者:
Krzysztof Bar
;
Jamie Vicary
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2017年
31.
A Crevice on the Crane Beach: Finite-Degree Predicates
机译:
起重机海滩上的缝隙:有限度谓词
作者:
Michael Cadilhac
;
Charles Paperman
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2017年
32.
A Complete Axiomatisation for Divergence Preserving Branching Congruence of Finite-State Behaviours
机译:
一种完全的公理化,用于维护有限状态行为的分支一致性
作者:
Xinxin Liu
;
Tingting Yu
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2021年
关键词:
Computer science;
Semantics;
33.
First-Order Reasoning and Efficient Semi-Algebraic Proofs
机译:
一级推理和高效的半代数证据
作者:
Fedor Part
;
Neil Thapen
;
Iddo Tzameret
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2021年
关键词:
Computer science;
Systematics;
Computational modeling;
Lead;
Approximation algorithms;
Cognition;
Calculus;
34.
Alignment Completeness for Relational Hoare Logics
机译:
关系HOARE逻辑的对齐完整性
作者:
Ramana Nagasamudram
;
David A. Naumann
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2021年
关键词:
Computer science;
Computer languages;
Automata;
Cognition;
35.
Canonical Polymorphisms of Ramsey Structures and the Unique Interpolation Property
机译:
Ramsey结构的规范多态性和独特的插值特性
作者:
Manuel Bodirsky
;
Bertalan Bodor
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2021年
关键词:
Computer science;
Sufficient conditions;
Interpolation;
Cognition;
Complexity theory;
36.
Compositional relational reasoning via operational game semantics
机译:
通过操作游戏语义的组成关系推理
作者:
Guilhem Jaber
;
Andrzej S. Murawski
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2021年
关键词:
Computer science;
Backtracking;
Computational modeling;
Semantics;
Games;
Cognition;
History;
37.
A Constructive Logic with Classical Proofs and Refutations
机译:
具有古典证明和反馈的建设性逻辑
作者:
Pablo Barenbaum
;
Teodoro Freund
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2021年
关键词:
Computer science;
Computational modeling;
Semantics;
Focusing;
Calculus;
Encoding;
Cognition;
38.
Decidability and Complexity in Weakening and Contraction Hypersequent Substructural Logics
机译:
削弱性和复杂性弱化和收缩超等等等结构逻辑
作者:
A. R. Balasubramanian
;
Timo Lang
;
Revantha Ramanayake
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2021年
关键词:
Fuzzy logic;
Computer science;
Upper bound;
Calculus;
Computational complexity;
39.
From Finite-Valued Nondeterministic Transducers to Deterministic Two-Tape Automata
机译:
从有限值的非近定传感器来确定拟合双磁带自动机
作者:
Elisabet Burjons
;
Fabian Frei
;
Martin Raszyk
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2021年
关键词:
Computer science;
Transducers;
Upper bound;
Turing machines;
Automata;
Transforms;
Production;
40.
Parameterized Complexity of Elimination Distance to First-Order Logic Properties
机译:
消除到一阶逻辑属性的消除距离的参数化复杂性
作者:
Fedor V. Fomin
;
Petr A. Golovach
;
Dimitrios M. Thilikos
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2021年
关键词:
Computer science;
Complexity theory;
41.
PTAS for Sparse General-Valued CSPs
机译:
稀疏普通值CSP的PTA
作者:
Balázs F. Mezei
;
Marcin Wrochna
;
Stanislav Živný
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2021年
关键词:
Computer science;
Minimization;
Standards;
Physics;
42.
Internal ∞-Categorical Models of Dependent Type Theory : Towards 2LTT Eating HoTT
机译:
依赖型理论的内部∞分类模型:朝着2ltt吃热
作者:
Nicolai Kraus
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2021年
关键词:
Computer science;
Computational modeling;
Syntactics;
Context modeling;
43.
Lacon- and Shrub-Decompositions: A New Characterization of First-Order Transductions of Bounded Expansion Classes
机译:
Lacon-和灌木分解:界限扩展类的一流转换的新表征
作者:
Jan Dreier
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2021年
关键词:
Computer science;
Computational modeling;
44.
SD-Regular Transducer Expressions for Aperiodic Transformations
机译:
对非周期性变换的SD定期传感器表达
作者:
Luc Dartois
;
Paul Gastin
;
Shankara Narayanan Krishna
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2021年
关键词:
Computer science;
Transducers;
Complexity theory;
Delays;
Synchronization;
Time complexity;
45.
Some constructive variants of S4 with the finite model property
机译:
具有有限模型性能的S4的一些建设性变体
作者:
Philippe Balbiani
;
Martín Diéguez
;
David Fernández-Duque
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2021年
关键词:
Computer science;
Computational modeling;
46.
Supermartingales, Ranking Functions and Probabilistic Lambda Calculus
机译:
Supermartingales,排名功能和概率λ微积分
作者:
Andrew Kenyon-Roberts
;
C.-H. Luke Ong
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2021年
关键词:
Computer science;
Semantics;
Probabilistic logic;
Calculus;
47.
Symbolic Time and Space Tradeoffs for Probabilistic Verification
机译:
概率验证的象征时间和空间权衡
作者:
Krishnendu Chatterjee
;
Wolfgang Dvořák
;
Monika Henzinger
;
Alexander Svozil
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2021年
关键词:
Computer science;
Computational modeling;
Markov processes;
Probabilistic logic;
Formal verification;
48.
Towards a more efficient approach for the satisfiability of two-variable logic
机译:
朝着更有效的方法,以获得两个可变逻辑的可靠性
作者:
Ting-Wei Lin
;
Chia-Hsuan Lu
;
Tony Tan
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2021年
关键词:
Computer science;
Upper bound;
Complexity theory;
Time complexity;
49.
Types Are Internal ∞-Groupoids
机译:
类型是内部∞-galoids
作者:
Eric Finster
;
Antoine Allioux
;
Matthieu Sozeau
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2021年
关键词:
Computer science;
50.
The Undecidability of System F Typability and Type Checking for Reductionists
机译:
减少系统的系统f的不可逃号和类型检查
作者:
Andrej Dudenhefner
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2021年
关键词:
Computer science;
Turing machines;
Shape;
Libraries;
Calculus;
Task analysis;
Machinery;
意见反馈
回到顶部
回到首页