掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文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
)
清除
导出
共
650
条结果
1.
On Linear Time Decidability of Differential Privacy for Programs with Unbounded Inputs
机译:
关于无界投入的程序对差异隐私的线性时间可判定性
作者:
Rohit Chadha
;
A. Prasad Sistla
;
Mahesh Viswanathan
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2021年
关键词:
Computer science;
Differential privacy;
Sufficient conditions;
Privacy;
Computational modeling;
Automata;
Noise measurement;
2.
A Relational Theory of Monadic Rewriting Systems, Part I
机译:
Monadic重写系统的关系理论,第一部分
作者:
Francesco Gavazzo
;
Claudia Faggian
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2021年
关键词:
Computer science;
Sufficient conditions;
Computer languages;
Algebra;
Computational modeling;
Semantics;
Focusing;
3.
Categories of Nets
机译:
网站类别
作者:
John C. Baez
;
Fabrizio Genovese
;
Jade Master
;
Michael Shulman
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2021年
关键词:
Computer science;
Petri nets;
Semantics;
4.
On the Expressive Power of Homomorphism Counts
机译:
论同性恋计数的表达力量
作者:
Albert Atserias
;
Phokion G. Kolaitis
;
Wei-Lin Wu
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2021年
关键词:
Computer science;
5.
Comonadic semantics for guarded fragments
机译:
守卫片段的Comonadic语义
作者:
Samson Abramsky
;
Dan Marsden
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2021年
关键词:
Computer science;
Systematics;
Semantics;
Games;
6.
The Logic of Graph Neural Networks
机译:
图形神经网络的逻辑
作者:
Martin Grohe
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2021年
关键词:
Deep learning;
Computer science;
Machine learning algorithms;
Computer architecture;
Graph neural networks;
7.
Axiomatizations and Computability of Weighted Monadic Second-Order Logic
机译:
加权Monadic二阶逻辑的公理化和可计算性
作者:
Antonis Achilleos
;
Mathias Ruggaard Pedersen
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2021年
关键词:
Computer science;
Semantics;
Automata;
Syntactics;
Model checking;
Complexity theory;
8.
A Bunched Logic for Conditional Independence
机译:
有条件独立的束缚逻辑
作者:
Jialu Bao
;
Simon Docherty
;
Justin Hsu
;
Alexandra Silva
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2021年
关键词:
Computer science;
Databases;
Computational modeling;
Markov processes;
Probabilistic logic;
Cognition;
Random variables;
9.
Compositional Semantics for Probabilistic Programs with Exact Conditioning
机译:
具有精确调节的概率程序的组成语义
作者:
Dario Stein
;
Sam Staton
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2021年
关键词:
Computer languages;
Semantics;
Programming;
Probabilistic logic;
Random variables;
10.
Constraint Satisfaction Problems over Finite Structures
机译:
有限结构的约束满足问题
作者:
Libor Barto
;
William DeMeo
;
Antoine Mottet
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2021年
关键词:
Computer science;
Systematics;
Algebra;
Computational complexity;
11.
From Multisets over Distributions to Distributions over Multisets
机译:
从多重传输到多种分布到多个传输
作者:
Bart Jacobs
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2021年
关键词:
Computer science;
Computer languages;
Semantics;
Probability distribution;
12.
Gödel-McKinsey-Tarski and Blok-Esakia for Heyting-Lewis Implication
机译:
Gödel-mckinsey-tarski和Blok-esakia为Heyting-Lewis含义
作者:
Jim de Groot
;
Tadeusz Litak
;
Dirk Pattinson
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2021年
关键词:
Computer science;
Adaptation models;
Computational modeling;
Semantics;
13.
Perspective Multi-Player Games
机译:
透视多人游戏
作者:
Orna Kupferman
;
Noam Shenwald
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2021年
关键词:
Computer science;
Uncertainty;
Automata;
Games;
Cognition;
Complexity theory;
History;
14.
Living without Beth and Craig: Definitions and Interpolants in the Guarded and Two-Variable Fragments
机译:
没有Beth和Craig的生活:守卫和双变量碎片中的定义和嵌就
作者:
Jean Christoph Jung
;
Frank Wolter
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2021年
关键词:
Computer science;
Interpolation;
Upper bound;
Complexity theory;
Standards;
15.
A Logic for Locally Complete Abstract Interpretations
机译:
逻辑用于当地完整的抽象解释
作者:
Roberto Bruni
;
Roberto Giacobazzi
;
Roberta Gori
;
Francesco Ranzato
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2021年
关键词:
Computer science;
16.
Lovász-Type Theorems and Game Comonads
机译:
Lovász型定理和游戏Comonads
作者:
Anuj Dawar
;
Tomáš Jakl
;
Luca Reggio
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2021年
关键词:
Computer science;
Computational modeling;
Semantics;
Games;
Forestry;
17.
Minimal Taylor Algebras as a Common Framework for the Three Algebraic Approaches to the CSP
机译:
最小泰勒代数作为CSP的三个代数方法的共同框架
作者:
Libor Barto
;
Zarathustra Brady
;
Andrei Bulatov
;
Marcin Kozik
;
Dmitriy Zhuk
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2021年
关键词:
Computer science;
Technological innovation;
Systematics;
Algebra;
Absorption;
Europe;
Tools;
18.
Monomial size vs. Bit-complexity in Sums-of-Squares and Polynomial Calculus
机译:
平方和多项式微积分中的单体大小与比特复杂性
作者:
Tuomas Hakoniemi
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2021年
关键词:
Computer science;
Calculus;
19.
On the logical structure of choice and bar induction principles
机译:
论选择与栏杆诱导原理的逻辑结构
作者:
Nuria Brede
;
Hugo Herbelin
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2021年
关键词:
Computer science;
Fans;
Bars;
20.
Stochastic Processes with Expected Stopping Time
机译:
随机流程,预期停止时间
作者:
Krishnendu Chatterjee
;
Laurent Doyen
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2021年
关键词:
Computer science;
Heuristic algorithms;
Memory management;
Automata;
Markov processes;
Probability distribution;
Complexity theory;
21.
Strong Call-by-Value is Reasonable, Implosively
机译:
强烈的呼叫值是合理的,令人默默的
作者:
Beniamino Accattoli
;
Andrea Condoluci
;
Claudio Sacerdoti Coen
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2021年
关键词:
Computer science;
Turing machines;
22.
Universal Semantics for the Stochastic λ-Calculus
机译:
随机λ - 微积分的通用语义
作者:
Pedro H. Azevedo de Amorim
;
Dexter Kozen
;
Radu Mardare
;
Prakash Panangaden
;
Michael Roberts
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2021年
关键词:
Computer science;
Semantics;
Probabilistic logic;
Calculus;
23.
Universal Skolem Sets
机译:
通用的Skolem套装
作者:
Florian Luca
;
Joël Ouaknine
;
James Worrell
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2021年
关键词:
Computer science;
24.
Graphical Language with Delayed Trace: Picturing Quantum Computing with Finite Memory
机译:
具有延迟跟踪的图形语言:使用有限内存来描绘Quantum Computing
作者:
Titouan Carette
;
Marc de Visme
;
Simon Perdrix
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2021年
关键词:
Computer science;
Quantum channel;
Semantics;
Refining;
Qubit;
Quantum mechanics;
Flow graphs;
25.
Normalization for Cubical Type Theory
机译:
立方型理论的正常化
作者:
Jonathan Sterling
;
Carlo Angiuli
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2021年
关键词:
Computer science;
Syntactics;
26.
On Logics and Homomorphism Closure
机译:
关于逻辑和同性恋闭合
作者:
Manuel Bodirsky
;
Thomas Feller
;
Simon Knäuer
;
Sebastian Rudolph
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2021年
关键词:
Computer science;
Analytical models;
Computational modeling;
Syntactics;
Inspection;
Fasteners;
Complexity theory;
27.
On sequentiality and well-bracketing in the π-calculus
机译:
关于π微积分的顺序性和良好括号
作者:
Daniel Hirschkoff
;
Enguerrand Prebet
;
Davide Sangiorgi
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2021年
关键词:
Context;
Concurrent computing;
Computer science;
Computer languages;
Instruction sets;
Computational modeling;
28.
Efficient Local Computation of Differential Bisimulations via Coupling and Up-to Methods
机译:
通过耦合和达到方法有效地局部计算差动BISIMULATION
作者:
Giorgio Bacci
;
Giovanni Bacci
;
Kim G. Larsen
;
Mirco Tribastone
;
Max Tschaikowski
;
Andrea Vandin
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2021年
关键词:
Couplings;
Runtime;
Heuristic algorithms;
Systems biology;
Prototypes;
Differential equations;
Probabilistic logic;
29.
A Compositional Cost Model for the λ-calculus
机译:
λ-微分的组成成本模型
作者:
James Laird
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2021年
关键词:
Computer science;
Program processors;
Turing machines;
Computational modeling;
Semantics;
Random access memory;
Games;
30.
Fixed-Points for Quantitative Equational Logics
机译:
定量公式逻辑的固定点
作者:
Radu Mardare
;
Prakash Panangaden
;
Gordon Plotkin
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2021年
关键词:
Computer science;
Algebra;
Semantics;
Markov processes;
Extraterrestrial measurements;
Convergence;
31.
Abstraction in Data Integration
机译:
抽象数据集成
作者:
Gianluca Cima
;
Marco Console
;
Maurizio Lenzerini
;
Antonella Poggi
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2021年
关键词:
Computer science;
Data integration;
Computer architecture;
32.
In search of lost time: Axiomatising parallel composition in process algebras
机译:
寻找丢失的时间:过程代数中的公理平行组合物
作者:
Luca Aceto
;
Elli Anastasiadi
;
Valentina Castiglioni
;
Anna Ingólfsdóttir
;
Bas Luttik
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2021年
关键词:
Computer science;
Algebra;
33.
Asynchronous Template Games and the Gray Tensor Product of 2-Categories
机译:
异步模板游戏和2类的灰色张量产品
作者:
Paul-André Melliès
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2021年
关键词:
Concurrent computing;
Computer science;
Tensors;
Additives;
Equalizers;
Semantics;
Games;
34.
Categorical models of Linear Logic with fixed points of formulas
机译:
公式固定点线性逻辑的分类模型
作者:
Thomas Ehrhard
;
Farzad Jafarrahmani
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2021年
关键词:
Computer science;
Computational modeling;
Semantics;
35.
Continuous One-Counter Automata
机译:
连续单反自动机
作者:
Michael Blondin
;
Tim Leys
;
Filip Mazowiecki
;
Philip Offtermatt
;
Guillermo A. Perez
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2021年
关键词:
Computer science;
Semantics;
Automata;
Encoding;
Complexity theory;
36.
Fusible numbers and Peano Arithmetic
机译:
可熔断号码和PEANO算术
作者:
Jeff Erickson
;
Gabriel Nivasch
;
Junyan Xu
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2021年
关键词:
Computer science;
Fuses;
37.
Inapproximability of Unique Games in Fixed-Point Logic with Counting
机译:
与计数的固定点逻辑中独特游戏的易识别
作者:
Jamie Tucker-Foltz
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2021年
关键词:
Computer science;
Games;
Linear algebra;
Tools;
Approximation algorithms;
Graph theory;
Complexity theory;
38.
A Quantum Interpretation of Bunched Logic Quantum Separation Logic
机译:
束缚逻辑和量子分离逻辑的量子解释
作者:
Li Zhou
;
Gilles Barthe
;
Justin Hsu
;
Mingsheng Ying
;
Nengkun Yu
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2021年
关键词:
Quantum algorithm;
Machine learning algorithms;
Semantics;
Tutorials;
Quantum state;
Writing;
Cognition;
39.
A distributed operational view of Reversible Prime Event Structures
机译:
可逆素材事件结构的分布式操作视图
作者:
Hernán Melgratti
;
Claudio Antares Mezzina
;
G. Michele Pinna
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2021年
关键词:
Computer science;
Inhibitors;
Computational modeling;
Petri nets;
Color;
Periodic structures;
Context modeling;
40.
Expressivity of Quantitative Modal Logics : Categorical Foundations via Codensity and Approximation
机译:
定量模态逻辑的表征:通过编音度和近似的分类基础
作者:
Yuichi Komorida
;
Shin-ya Katsumata
;
Clemens Kupke
;
Jurriaan Rot
;
Ichiro Hasuo
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2021年
关键词:
Measurement;
Computer science;
Probabilistic logic;
41.
Asynchronous Extensions of HyperLTL
机译:
Hyperltl的异步扩展
作者:
Laura Bozzelli
;
Adriano Peron
;
César Sánchez
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2021年
关键词:
Computer science;
Computational modeling;
Semantics;
Merging;
Model checking;
Security;
Computational complexity;
42.
Demonic Lattices and Semilattices in Relational Semigroups with Ordinary Composition
机译:
具有普通组成的关系半群中的恶魔格子和半菌
作者:
Robin Hirsch
;
Jaš Šemrl
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2021年
关键词:
Computer science;
Algebra;
Lattices;
Tools;
Cognition;
Calculus;
43.
Global Optimisation with Constructive Reals
机译:
全球优化与建设性真实
作者:
Dan R. Ghica
;
Todd Waugh Ambridge
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2021年
关键词:
Java;
Machine learning algorithms;
Machine learning;
Search problems;
Libraries;
Data models;
Regression analysis;
44.
Quantitative and Approximate Monitoring
机译:
定量和近似监测
作者:
Thomas A. Henzinger
;
N. Ege Saraç
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2021年
关键词:
Computer science;
Runtime;
Registers;
Time factors;
Monitoring;
45.
Intersection Type Distributors
机译:
交叉分销商
作者:
Federico Olimpieri
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2021年
关键词:
Computer science;
Sufficient conditions;
Adaptation models;
Algebra;
Computational modeling;
Resource management;
46.
Removing Redundant Refusals: Minimal Complete Test Suites for Failure Trace Semantics
机译:
删除冗余拒绝:故障跟踪语义的最小完整测试套件
作者:
Maciej Gazda
;
Robert M. Hierons
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2021年
关键词:
Computer science;
Semantics;
Refining;
Test pattern generators;
Testing;
47.
The Smash Product of Monoidal Theories
机译:
单侧理论的粉碎产品
作者:
Amar Hadzihasanovic
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2021年
关键词:
Computer science;
Tensors;
Coherence;
48.
The Topological Mu-Calculus: completeness and decidability
机译:
拓扑MU-微积分:完整性和可拆卸性
作者:
Alexandru Baltag
;
Nick Bezhanishvili
;
David Fernández-Duque
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2021年
关键词:
Computer science;
Computational modeling;
49.
On Generalized Metric Spaces for the Simply Typed Lambda-Calculus
机译:
关于简单类型的λ - 微积分的广义度量空间
作者:
Paolo Pistone
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2021年
关键词:
Computer science;
Semantics;
Euclidean distance;
Extraterrestrial measurements;
Cognition;
Calculus;
Standards;
50.
Combinatorial Proofs and Decomposition Theorems for First-order Logic
机译:
一阶逻辑的组合证据和分解定理
作者:
Dominic J. D. Hughes
;
Lutz Straßburger
;
Jui-Hsuan Wu
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2021年
关键词:
Computer science;
Syntactics;
51.
Combining Nondeterminism, Probability, and Termination: Equational and Metric Reasoning
机译:
结合非季度,概率和终止:公式和公制推理
作者:
Matteo Mio
;
Ralph Sarkis
;
Valeria Vignudelli
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2021年
关键词:
Measurement;
Computer science;
Semantics;
Tools;
Probabilistic logic;
Cognition;
52.
Commutative Monads for Probabilistic Programming Languages
机译:
用于概率编程语言的换向Monads
作者:
Xiaodong Jia
;
Bert Lindenhovius
;
Michael Mislove
;
Vladimir Zamdzhiev
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2021年
关键词:
Computer science;
Computer languages;
Semantics;
Probabilistic logic;
Calculus;
Cost accounting;
53.
Evidenced Frames: A Unifying Framework Broadening Realizability Models
机译:
证明框架:统一框架扩大可实现性模型
作者:
Liron Cohen
;
Étienne Miquey
;
Ross Tate
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2021年
关键词:
Computer science;
Algebra;
Computational modeling;
Buildings;
54.
Finite Model Theory of the Triguarded Fragment and Related Logics
机译:
Triguarded碎片及相关逻辑的有限模型理论
作者:
Emanuel Kieroński
;
Sebastian Rudolph
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2021年
关键词:
Computer science;
Upper bound;
Complexity theory;
Computational efficiency;
Standards;
55.
Forbidden Induced Subgraphs and the Łoś–Tarski Theorem
机译:
禁止诱导的子图和Łoś-tarski定理
作者:
Yijia Chen
;
Jörg Flum
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2021年
关键词:
Computer science;
Tools;
Graph theory;
Machinery;
56.
Complexity Lower Bounds from Algorithm Design
机译:
复杂性从算法设计下限
作者:
R. Ryan Williams
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2021年
关键词:
Computer science;
Systematics;
Task analysis;
Computational complexity;
57.
An Algebraic Characterisation of First-Order Logic with Neighbour
机译:
邻居一阶逻辑的代数特征
作者:
Amaldev Manuel
;
Dhruv Nevatia
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2021年
关键词:
Computer science;
Algebra;
Delays;
Character recognition;
58.
Assuming Just Enough Fairness to make Session Types Complete for Lock-freedom
机译:
假设足够的公平性以使会话类型完成锁定自由
作者:
Rob van Glabbeek
;
Peter Höfner
;
Ross Horne
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2021年
关键词:
Computer science;
Semantics;
Calculus;
Standards;
59.
Behavioural Preorders via Graded Monads
机译:
通过评级MONADS的行为预订
作者:
Chase Ford
;
Stefan Milius
;
Lutz Schröder
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2021年
关键词:
Computer science;
Semantics;
Probabilistic logic;
Minimization;
Distance measurement;
60.
Parametricity and Semi-Cubical Types
机译:
参数和半立方体类型
作者:
Hugo Moeneclaey
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2021年
关键词:
Computer science;
Mathematical model;
61.
Parikh’s theorem for infinite alphabets
机译:
Parikh的无限字母的定理
作者:
Piotr Hofman
;
Marta Juzepczuk
;
Sławomir Lasota
;
Mohnish Pattathurajan
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2021年
关键词:
Computer science;
Image recognition;
Automata;
Orbits;
Registers;
Grammar;
62.
Positive First-order Logic on Words
机译:
单词上的正数逻辑
作者:
Denis Kuperberg
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2021年
关键词:
Computer science;
Automata;
Tools;
Cost function;
63.
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;
64.
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;
65.
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;
66.
Separating Rank Logic from Polynomial Time
机译:
从多项式时间分离等级逻辑
作者:
Moritz Lichter
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2021年
关键词:
Computer science;
67.
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;
68.
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;
69.
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;
70.
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;
71.
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;
72.
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;
73.
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;
74.
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;
75.
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;
76.
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;
77.
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;
78.
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;
79.
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;
80.
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;
81.
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;
82.
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;
83.
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;
84.
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;
85.
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;
86.
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;
87.
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;
88.
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;
89.
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;
90.
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;
91.
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;
92.
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;
93.
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;
94.
Types Are Internal ∞-Groupoids
机译:
类型是内部∞-galoids
作者:
Eric Finster
;
Antoine Allioux
;
Matthieu Sozeau
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2021年
关键词:
Computer science;
95.
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;
96.
Differentiable Causal Computations via Delayed Trace
机译:
通过延迟跟踪可分辨率的因果计算
作者:
David Sprunger
;
Shin-ya Katsumata
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2019年
关键词:
Logic gates;
Delays;
Computational modeling;
Recurrent neural networks;
Backpropagation;
Digital circuits;
Transducers;
97.
Canonisation and Definability for Graphs of Bounded Rank Width
机译:
典型的典型级别宽度图形
作者:
Martin Grohe
;
Daniel Neuen
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2019年
关键词:
Complexity theory;
Color;
Matrix decomposition;
Machinery;
Games;
Testing;
Graph theory;
98.
Perspective Games
机译:
透视比赛
作者:
Orna Kupferman
;
Gal Vardi
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2019年
关键词:
Games;
Computational modeling;
History;
Automata;
Complexity theory;
Probabilistic logic;
Multi-agent systems;
99.
Separation and covering for group based concatenation hierarchies
机译:
基于组的级联层次结构的分离和覆盖
作者:
Thomas Place
;
Marc Zeitoun
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2019年
关键词:
Pins;
Automata;
Standards;
Lattices;
Formal languages;
Force;
Machinery;
100.
When is Ontology-Mediated Querying Efficient?
机译:
什么时候是本体介绍的查询效率?
作者:
Pablo Barceló
;
Cristina Feier
;
Carsten Lutz
;
Andreas Pieris
会议名称:
《Annual ACM/IEEE Symposium on Logic in Computer Science》
|
2019年
关键词:
Complexity theory;
Ontologies;
Relational databases;
Database languages;
Standards;
Vocabulary;
上一页
1
2
3
4
5
6
7
下一页
意见反馈
回到顶部
回到首页