掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
其他
>
Annual IEEE Symposium on Logic in Computer Science
Annual IEEE Symposium on Logic in Computer Science
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
On Tractability and Congruence Distributivity
机译:
关于易无法解放性和同一分配
作者:
Kiss E.
;
Valeriote M.
会议名称:
《Annual IEEE Symposium on Logic in Computer Science》
|
2006年
2.
On tractability and congruence distributivity
机译:
关于易无法解放性和同一分配
作者:
Emil Kiss
;
Matthew Valeriote
会议名称:
《Annual IEEE Symposium on Logic in Computer Science》
|
2006年
3.
On the Expressiveness of Linearity vs Persistence in the Asynchronous Pi-Calculus
机译:
关于线性度与异步Pi-Calmulus持久性的表达性
作者:
Catuscia Palamidessi
;
Frank D. Valencia
;
Vijay Saraswat
;
Bjorn Victor
会议名称:
《Annual IEEE Symposium on Logic in Computer Science》
|
2006年
4.
Matching Explicit and Modal Reasoning about Programs: A Proof Theoretic Delineation of Dynamic Logic
机译:
匹配程序的明确和模态推理:动态逻辑的证明理论描绘
作者:
Leivant D.
会议名称:
《Annual IEEE Symposium on Logic in Computer Science》
|
2006年
5.
Obsessional Cliques: A Semantic Characterization of Bounded Time Complexity
机译:
耻辱:有界时间复杂性的语义表征
作者:
Laurent O.
;
Tortora de Falco L.
会议名称:
《Annual IEEE Symposium on Logic in Computer Science》
|
2006年
6.
Approximate Satisfiability and Equivalence
机译:
近似可靠性和等价
作者:
Eldar Fischer
;
Frederic Magniez
;
Michel de Rougemont
会议名称:
《Annual IEEE Symposium on Logic in Computer Science》
|
2006年
7.
Temporal Logics and Model Checking for Fairly Correct Systems
机译:
用于相当正确的系统的时间逻辑和模型检查
作者:
Varacca D.
;
Volzer H.
会议名称:
《Annual IEEE Symposium on Logic in Computer Science》
|
2006年
8.
Bounds in ω-regularity
机译:
ω定期的界限
作者:
Mikolaj Bojanczyk
;
Thomas Colcombet
会议名称:
《Annual IEEE Symposium on Logic in Computer Science》
|
2006年
9.
Avoiding Determinization
机译:
避免确定化
作者:
Orna Kupferman
会议名称:
《Annual IEEE Symposium on Logic in Computer Science》
|
2006年
10.
Approximation Schemes for First-Order Definable Optimisation Problems
机译:
一阶可定义优化问题的近似方案
作者:
Anuj Dawar
;
Martin Grohe
;
Stephan Kreutzer
;
Nicole Schweikardt
会议名称:
《Annual IEEE Symposium on Logic in Computer Science》
|
2006年
11.
First Order Formulas with Modular Ppredicates
机译:
具有模块化拟置的第一订单公式
作者:
Chaubard L.
;
Pin J.-E.
;
Straubing H.
会议名称:
《Annual IEEE Symposium on Logic in Computer Science》
|
2006年
12.
Stochastic Games with Branching-Time Winning Objectives
机译:
随机游戏,分支时间赢得目标
作者:
Brazdil T.
;
Brozek V.
;
Forejt V.
;
Kucera A.
会议名称:
《Annual IEEE Symposium on Logic in Computer Science》
|
2006年
13.
A Characterisation of First-Order Constraint Satisfaction Problems
机译:
一阶约束满足问题的特征
作者:
Benoit Larose
;
Cynthia Loten
;
Claude Tardif
会议名称:
《Annual IEEE Symposium on Logic in Computer Science》
|
2006年
14.
Two-Variable Logic on Words with Data
机译:
与数据单词的两个变量逻辑
作者:
Bojanczyk M.
;
Muscholl A.
;
Schwentick T.
;
Segoufin L.
;
David C.
会议名称:
《Annual IEEE Symposium on Logic in Computer Science》
|
2006年
15.
On Typability for Rank-2 Intersection Types with Polymorphic Recursion
机译:
关于多态递归的秩2交叉点类型的类型
作者:
Terauchi T.
;
Aiken A.
会议名称:
《Annual IEEE Symposium on Logic in Computer Science》
|
2006年
16.
Control in o-minimal Hybrid Systems
机译:
O-Minimal混合系统中的控制
作者:
Bouyer P.
;
Brihaye T.
;
Chevalier F.
会议名称:
《Annual IEEE Symposium on Logic in Computer Science》
|
2006年
17.
An Abstraction-Refinement Framework for Multi-Agent Systems
机译:
用于多代理系统的抽象精炼框架
作者:
Thomas Ball
;
Orna Kupferman
会议名称:
《Annual IEEE Symposium on Logic in Computer Science》
|
2006年
18.
The Boundedness Problem for Monadic Universal First-Order Logic
机译:
Monadic Universal一阶逻辑的界限问题
作者:
Otto M.
会议名称:
《Annual IEEE Symposium on Logic in Computer Science》
|
2006年
19.
Shaken Foundations or Groundbreaking Realignment? A Centennial Assessment of Kurt G#246;del#146;s Impact on Logic, Mathematics, and Computer Science
机译:
Shaken基础或突破性调整?对KurtGödel对逻辑,数学和计算机科学的影响的百年评估
作者:
Dawson J.W. Jr.
会议名称:
《Annual IEEE Symposium on Logic in Computer Science》
|
2006年
20.
Managing Digital Rights using Linear Logic
机译:
使用线性逻辑管理数字版权
作者:
Barth A.
;
Mitchell J.C.
会议名称:
《Annual IEEE Symposium on Logic in Computer Science》
|
2006年
21.
Normalisation is Insensible to λ-term Identity or Difference
机译:
标准化对λ术语标识或差异不感知
作者:
Makoto Tatsuta
;
Mariangiola Dezani-Ciancaglini
会议名称:
《Annual IEEE Symposium on Logic in Computer Science》
|
2006年
22.
Adapting Logics
机译:
适应逻辑
作者:
Blass A.
会议名称:
《Annual IEEE Symposium on Logic in Computer Science》
|
2006年
23.
A Conditional Lower Bound for a System of Constant-Depth Proofs with Modular Connectives
机译:
具有模块化连接的恒定深度样张系统的条件下限
作者:
Alexis Maciel
;
Toniann Pitassi
会议名称:
《Annual IEEE Symposium on Logic in Computer Science》
|
2006年
24.
An Automata-Theoretic Approach for Model Checking Threads for LTL Propert
机译:
用于LTL属性的模型检查线程的自动机 - 理论方法
作者:
Kahlon V.
;
Gupta A.
会议名称:
《Annual IEEE Symposium on Logic in Computer Science》
|
2006年
25.
Saturated Semantics for Reactive Systems
机译:
反应系统饱和语义
作者:
Bonchi F.
;
Konig B.
;
Montanari U.
会议名称:
《Annual IEEE Symposium on Logic in Computer Science》
|
2006年
26.
Boolean Algebras for Lambda Calculus
机译:
兰姆达微积分的布尔代数
作者:
Manzonetto G.
;
Salibra A.
会议名称:
《Annual IEEE Symposium on Logic in Computer Science》
|
2006年
27.
Avoiding Determinization
机译:
避免确定化
作者:
Kupferman O.
会议名称:
《Annual IEEE Symposium on Logic in Computer Science》
|
2006年
28.
Faster Solutions of Rabin and Streett Games
机译:
rabin和Streett Games的更快解决方案
作者:
Piterman N.
;
Pnueli A.
会议名称:
《Annual IEEE Symposium on Logic in Computer Science》
|
2006年
29.
Addition-invariant FO and regularity
机译:
添加 - 不变的fo和规律性
作者:
Nicole Schweikardt
;
Luc Segoufin
会议名称:
《Annual IEEE Symposium on Logic in Computer Science》
|
2010年
关键词:
FO;
regularity;
Addition;
30.
The Fine Print of Security
机译:
安全性的精细印刷
作者:
Martin Abadi
会议名称:
《Annual IEEE Symposium on Logic in Computer Science》
|
2010年
关键词:
Fine;
Security;
protocols;
31.
On Strong Maximality of Paraconsistent Finite-Valued Logics
机译:
关于帕加索坦有限逻辑的强大最大性
作者:
Amon Avron
;
Ofer Arieli
;
Anna Zamansky
会议名称:
《Annual IEEE Symposium on Logic in Computer Science》
|
2010年
关键词:
Maximality;
Paraconsistent;
Logics;
32.
Strong normalization for System F by HOAS on top of FOAS
机译:
波斯顶部的Hoas系统f的强烈标准化
作者:
Andrei Popescu
;
Elsa L. Gunter
;
Christopher J. Osborn
会议名称:
《Annual IEEE Symposium on Logic in Computer Science》
|
2010年
关键词:
Higher-Order Abstract Syntax;
System F;
General-Purpose Framework;
Isabelle/HOL;
33.
Probabilistic Information Flow
机译:
概率信息流程
作者:
Mario S. Alvim
;
Miguel E. Andres
;
Catuscia Palamidessi
会议名称:
《Annual IEEE Symposium on Logic in Computer Science》
|
2010年
关键词:
Probabilistic;
Information;
developments;
34.
Modular Construction of Fixed Point Combinators and Clocked Bohm Trees
机译:
模块化建设的固定点组合器和时钟的蟒蛇树
作者:
Jorg Endrullis
;
Dimitri Hendriks
;
Jan Willem Klop
会议名称:
《Annual IEEE Symposium on Logic in Computer Science》
|
2010年
关键词:
Modular;
Construction;
Combinators;
35.
Breaking Paths in Atomic Flows for Classical Logic
机译:
破坏原子流动的古典逻辑的路径
作者:
Alessio Guglielmi
;
Tom Gundersen
;
Lutz Straβburger
会议名称:
《Annual IEEE Symposium on Logic in Computer Science》
|
2010年
关键词:
Paths;
Atomic;
Logic;
36.
A Generic Operational Metatheory for Algebraic Effects
机译:
用于代数效应的通用操作结论
作者:
Patricia Johann
;
Alex Simpson
;
Janis Voigtlander
会议名称:
《Annual IEEE Symposium on Logic in Computer Science》
|
2010年
关键词:
Operational;
Metatheory;
Effects;
37.
The Emptiness Problem for Tree Automata with Global Constraints
机译:
具有全局限制的树自动机的空虚问题
作者:
Luis Barguno
;
Caries Creus
;
Guillem Godoy
;
Florent Jacquemard
;
Camille Vacher
会议名称:
《Annual IEEE Symposium on Logic in Computer Science》
|
2010年
关键词:
Emptiness;
Automata;
Constraints;
38.
On the Scope of the Universal-Algebraic Approach to Constraint Satisfaction
机译:
论普遍代理方法对约束满足的范围
作者:
Manuel Bodirsky
;
Barnaby Martin
;
Martin Hils
会议名称:
《Annual IEEE Symposium on Logic in Computer Science》
|
2010年
关键词:
Scope;
Approach;
Satisfaction;
39.
Coalgebras, Chu Spaces, and Representations of Physical Systems
机译:
煤炭,楚空间和物理系统的表示
作者:
Samson Abramsky
会议名称:
《Annual IEEE Symposium on Logic in Computer Science》
|
2010年
关键词:
coalgebra;
Chu spaces;
categories;
quantum me-chanics;
representation of physical systems;
40.
Datalog+/-: A Family of Logical Knowledge Representationand Query Languages for New ApplicationsKeynote Lecture
机译:
Datalog +/-:一个逻辑知识族代表和新的applicationseynote讲座的查询语言
作者:
Andrea Call
;
Georg Gottlob
;
Thomas Lukasiewicz
;
Bruno Marnette
;
Andreas Pieris
会议名称:
《Annual IEEE Symposium on Logic in Computer Science》
|
2010年
关键词:
Knowledge Representation and Reasoning;
Query Answering;
Ontologies;
41.
An extension of data automata that captures XPath
机译:
捕获XPath的数据自动机的扩展
作者:
Mikolaj Bojanczyk
;
Siawomir Lasota
会议名称:
《Annual IEEE Symposium on Logic in Computer Science》
|
2010年
关键词:
Regular XPath;
data automata;
register automata;
42.
Segal condition meets computational effects
机译:
Segal条件符合计算效果
作者:
Paul-Andre Mellies
会议名称:
《Annual IEEE Symposium on Logic in Computer Science》
|
2010年
关键词:
Computational effects;
finitary monads;
algebraic theories;
Lawvere theories;
state monad;
higher dimensional algebra;
nerve functor;
Segal condition;
monads with arities;
43.
New conditions for Taylor varieties and CSP
机译:
泰勒品种和CSP的新条件
作者:
Libor Barto
;
Marcin Kozik
会议名称:
《Annual IEEE Symposium on Logic in Computer Science》
|
2010年
关键词:
Constraint Satisfaction Problem;
Taylor condi-tions;
44.
A finiteness structure on resource terms
机译:
资源条款的有限性结构
作者:
Thomas Ehrhard
会议名称:
《Annual IEEE Symposium on Logic in Computer Science》
|
2010年
关键词:
lambda-calculus;
linear logic;
denotational seman-tics;
finiteness spaces;
reducibility;
algebraic system F;
45.
On the strictness of the first-order quantifier structure hierarchy over finitestructures
机译:
关于定量结构层次结构的严格性
作者:
Yuguo He
会议名称:
《Annual IEEE Symposium on Logic in Computer Science》
|
2010年
关键词:
Ehrenfeucht-Frasse games;
quantifier structure;
finite model theory;
46.
Querying the Guarded Fragment
机译:
查询守卫的片段
作者:
Vince Barany
;
Georg Gottlob
;
Martin Otto
会议名称:
《Annual IEEE Symposium on Logic in Computer Science》
|
2010年
关键词:
guarded fragment;
finite model theory;
descriptive complexity;
hypergraph covers;
conjunctive queries;
47.
Highly Acyclic Groups, Hypergraph Covers and the Guarded Fragment
机译:
高度无循环群,超图形覆盖和守卫的片段
作者:
Martin Otto
会议名称:
《Annual IEEE Symposium on Logic in Computer Science》
|
2010年
关键词:
Groups;
Covers;
Fragment;
48.
ωQRB-Domains and the Probabilistic Powerdomain
机译:
ωqrb域和概率电源组
作者:
Jean Goubault-Larrecq
会议名称:
《Annual IEEE Symposium on Logic in Computer Science》
|
2010年
关键词:
Quasi-continuous domains;
probabilistic powerdo-main;
49.
Alternating Timed Automata over Bounded Time
机译:
交替定时自动机通过有限时间
作者:
Mark Jenkins
;
Joel Ouaknine
;
Alexander Rabinovich
;
James Worrell
会议名称:
《Annual IEEE Symposium on Logic in Computer Science》
|
2010年
关键词:
Alternation;
Timed Automata;
Church's Problem;
50.
A Sound and Complete Calculus for finite Stream Circuits
机译:
有限流电路的声音和完整的微积分
作者:
Stefan Milius
会议名称:
《Annual IEEE Symposium on Logic in Computer Science》
|
2010年
关键词:
Kleene algebra;
coalgebra;
streams;
regular ex-pressions;
51.
Polarity and the Logic of Delimited Continuations
机译:
极性和分隔延续的逻辑
作者:
Noam Zeilberger
会议名称:
《Annual IEEE Symposium on Logic in Computer Science》
|
2010年
关键词:
Delimited;
Polarity;
Continuations;
52.
An Intuitionistic Logic That Proves Markov's Principle
机译:
一种直觉的逻辑,证明马尔可夫的原则
作者:
Hugo Herbelin
会议名称:
《Annual IEEE Symposium on Logic in Computer Science》
|
2010年
关键词:
Markov's principle;
intuitionistic logic;
proof-as-program correspondence;
exceptions;
53.
Parikh Images of Grammars: Complexity and Applications
机译:
语法的Parikh图像:复杂性和应用
作者:
Eryk Kopczynski
;
Anthony Widjaja To
会议名称:
《Annual IEEE Symposium on Logic in Computer Science》
|
2010年
关键词:
Parikh Images;
Automata;
Grammars;
Normal Form;
Algorithms;
54.
Theorem Proving for Verification: The Early Days
机译:
证明验证的定理:早期
作者:
J Strother Moore
会议名称:
《Annual IEEE Symposium on Logic in Computer Science》
|
2010年
关键词:
Theorem;
Verification;
Early Days;
55.
Infinitary Completeness in Ludics
机译:
思维的无限性完整性
作者:
Michele Basaldella
;
Kazushige Terui
会议名称:
《Annual IEEE Symposium on Logic in Computer Science》
|
2010年
关键词:
linear logic;
ludics;
completeness;
recursive types;
coinduction;
56.
Equality is typable in Semi-Full Pure Type Systems
机译:
平等在半全纯型系统中是可键入的
作者:
Vincent Siles
;
Hugo Herbelin
会议名称:
《Annual IEEE Symposium on Logic in Computer Science》
|
2010年
关键词:
Equality;
typable;
Systems;
57.
On the expressivity of symmetry in event structures
机译:
关于事件结构对称性的表达性
作者:
Sam Staton
;
Glynn Winskel
会议名称:
《Annual IEEE Symposium on Logic in Computer Science》
|
2010年
关键词:
expressivity;
symmetry;
structures;
58.
Abstracting the differential semantics of rule-based models:exact and automated model reduction
机译:
摘要基于规则的模型的差分语义:精确和自动化模型减少
作者:
Vincent Danos
;
Jerome Feret
;
Walter Fontana
;
Russell Harmer
;
Jean Krivine
会议名称:
《Annual IEEE Symposium on Logic in Computer Science》
|
2010年
关键词:
differential;
semantics;
reduction;
59.
Capturing Polynomial Time on Interval Graphs
机译:
在间隔图上捕获多项式时间
作者:
Bastian Laubner
会议名称:
《Annual IEEE Symposium on Logic in Computer Science》
|
2010年
关键词:
capturing of polynomial time;
fixed-point logic with counting;
canonical forms;
modular decomposition;
60.
Recursion Schemes and Logical Reflection
机译:
递归方案和逻辑反射
作者:
Christopher H. Broadbent
;
Arnaud Carayol
;
C.-H. Luke Ong
;
Olivier Serre
会议名称:
《Annual IEEE Symposium on Logic in Computer Science》
|
2010年
关键词:
Recursion;
Schemes;
Reflection;
61.
Weak Equivalences in Psi-calculi
机译:
psi-calmuli的弱等价
作者:
Magnus Johansson
;
Jesper Bengtson
;
Joachim Parrow
;
Bjorn Victor
会议名称:
《Annual IEEE Symposium on Logic in Computer Science》
|
2010年
关键词:
Equivalences;
Psi-calculi;
primitives;
62.
The Undecidability of Boolean BI through Phase Semantics
机译:
Boolean BI通过相位语义的不可逃号
作者:
Dominique Larchey-Wendling
;
Didier Galmiche
会议名称:
《Annual IEEE Symposium on Logic in Computer Science》
|
2010年
关键词:
decidability;
bunched logic;
linear logic;
phase semantics;
63.
On Probabilistic Automata in Continuous Time
机译:
在连续时间概率自动机
作者:
Christian Eisentraut
;
Holger Hermanns
;
Lijun Zhang
会议名称:
《Annual IEEE Symposium on Logic in Computer Science》
|
2010年
关键词:
Markov processes;
nondeterminism;
discrete time;
continuous time;
process algebra;
weak bisimulation semantics;
64.
Amir Pnueli: A Gentle Giant, Lord of the Phi's and the Psi's
机译:
amir pnueli:披上披的君主和psi的温柔巨人
作者:
David Harel
会议名称:
《Annual IEEE Symposium on Logic in Computer Science》
|
2010年
关键词:
Gentle;
Pnueli;
Psi;
65.
Lower Bounds for the Complexity of Monadic Second-Order Logic
机译:
下限为Monadic二阶逻辑的复杂性
作者:
Stephan Kreutzer
;
Siamak Tazari
会议名称:
《Annual IEEE Symposium on Logic in Computer Science》
|
2010年
关键词:
Complexity;
Logic;
Bounds;
66.
Game Semantics for a Polymorphic Programming Language
机译:
用于多态性编程语言的游戏语义
作者:
J. Laird
会议名称:
《Annual IEEE Symposium on Logic in Computer Science》
|
2010年
关键词:
game semantics;
polymorphism;
genericity;
gen-eral references;
67.
Undecidability of propositional separation logic and its neighbours
机译:
命题分离逻辑及其邻居的不可透明性
作者:
James Brotherston
;
Max Kanovich
会议名称:
《Annual IEEE Symposium on Logic in Computer Science》
|
2010年
关键词:
Undecidability;
separation;
neighbours;
68.
The Isomorphism Problem On Classes of Automatic Structures
机译:
自动结构类同构题
作者:
Dietrich Kuske
;
Jiamou Liu
;
Markus Lohrey
会议名称:
《Annual IEEE Symposium on Logic in Computer Science》
|
2010年
关键词:
automatic structures;
isomorphism problems;
arithmetical hierarchy;
69.
A Calculus of Contracting Processes
机译:
合同过程的微积分
作者:
Massimo Bartoletti
;
Roberto Zunino
会议名称:
《Annual IEEE Symposium on Logic in Computer Science》
|
2010年
关键词:
contracts;
circular assume-guarantee;
concurrent constraints;
cut elimination;
70.
Deciding definability in FO_2 (<_h, <_v) on trees
机译:
决定树上的FO_2(<_h,<_v)的可定定性
作者:
Thomas Place
;
Luc Segoufin
会议名称:
《Annual IEEE Symposium on Logic in Computer Science》
|
2010年
关键词:
definability;
FO_2;
trees;
71.
Fixed-Point Definability and Polynomial Time on Graphs with Excluded Minors
机译:
与排除未成年人的图形的定点可定定性和多项式时间
作者:
Martin Grohe
会议名称:
《Annual IEEE Symposium on Logic in Computer Science》
|
2010年
关键词:
descriptive complexity;
graph minor theory;
fixed-point logic;
graph canonisation;
72.
Regular cost functions over finite trees
机译:
在有限树上定期成本职能
作者:
Thomas Colcombet
;
Christof Loding
会议名称:
《Annual IEEE Symposium on Logic in Computer Science》
|
2010年
关键词:
tree automata;
games;
limitedness problem;
monadic-second order logic;
73.
Robin Milner, a Craftsman of Tools for the Mind
机译:
Robin Milner是一个思想工具的工匠
作者:
Gordon D. Plotkin
会议名称:
《Annual IEEE Symposium on Logic in Computer Science》
|
2010年
关键词:
Milner;
Craftsman;
Mind;
74.
The Expressive Power of Synchronizations
机译:
同步的表现力
作者:
Cosimo Laneve
;
Antonio Vitale
会议名称:
《Annual IEEE Symposium on Logic in Computer Science》
|
2010年
关键词:
Expressive power;
process calculi;
synchroniza-tions;
dining philosophers problem;
hypercube;
75.
Computational Complexity of Quantum Satisfiability
机译:
量子可靠性的计算复杂性
作者:
Herrmann Christian
;
Ziegler Martin
会议名称:
《Annual IEEE Symposium on Logic in Computer Science》
|
2011年
76.
Temporal Specifications with Accumulative Values
机译:
具有累积值的时间规范
作者:
Boker Udi
;
Chatterjee Krishnendu
;
Henzinger Thomas A.
;
Kupferman Orna
会议名称:
《Annual IEEE Symposium on Logic in Computer Science》
|
2011年
关键词:
Temporal logic;
accumulative values;
formal verification;
quantitative verification;
77.
Higher-Order Model Checking: From Theory to Practice
机译:
高阶模型检查:从理论到实践
作者:
Kobayashi Naoki
会议名称:
《Annual IEEE Symposium on Logic in Computer Science》
|
2011年
78.
A Why-on-Earth Tutorial on Finite Model Theory
机译:
有限模型理论的为什么地球教程
作者:
Atserias Albert
会议名称:
《Annual IEEE Symposium on Logic in Computer Science》
|
2011年
79.
The Ultimate Undecidability Result for the Halpern-Shoham Logic
机译:
Halpern-Shoham逻辑的最终不可思议的结果
作者:
Marcinkowski Jerzy
;
Michaliszyn Jakub
会议名称:
《Annual IEEE Symposium on Logic in Computer Science》
|
2011年
关键词:
interval temporal logic;
undecidable logic;
80.
Logic in Software, Dynamical and Biological Systems
机译:
软件,动态和生物系统中的逻辑
作者:
Tiwari Ashish
会议名称:
《Annual IEEE Symposium on Logic in Computer Science》
|
2011年
81.
Propositional Proof Complexity: A Survey on the State of the Art, Including Some Recent Results
机译:
命题证明复杂性:关于现有技术的调查,包括最近的结果
作者:
Pitassi Toniann
会议名称:
《Annual IEEE Symposium on Logic in Computer Science》
|
2011年
82.
Ultrametric Semantics of Reactive Programs
机译:
反应课程的超短定语义
作者:
Krishnaswami Neelakantan R.
;
Benton Nick
会议名称:
《Annual IEEE Symposium on Logic in Computer Science》
|
2011年
83.
Decidability of Definability
机译:
可明定的可辨
作者:
Bodirsky Manuel
;
Pinsker Michael
;
Tsankov Todor
会议名称:
《Annual IEEE Symposium on Logic in Computer Science》
|
2011年
关键词:
Constraint Satisfaction Problems;
Decidability;
Homogeneous Structures;
Model Theory;
Primitive Positive Definitions;
Ramsey Theory;
Universal Algebra;
84.
Regular Repair of Specifications
机译:
定期修复规格
作者:
Benedikt Michael
;
Puppis Gabriele
;
Riveros Cristian
会议名称:
《Annual IEEE Symposium on Logic in Computer Science》
|
2011年
关键词:
distance automata;
edit distance;
regular language;
85.
Imperative Programs as Proofs via Game Semantics
机译:
必要的程序作为通过游戏语义的证据
作者:
Churchill Martin
;
Laird James
;
McCusker Guy
会议名称:
《Annual IEEE Symposium on Logic in Computer Science》
|
2011年
关键词:
first-order logic;
full completeness;
game semantics;
history sensitive strategies;
86.
Automata with Group Actions
机译:
具有组行为的自动机
作者:
Bojanczyk Mikolaj
;
Klin Bartek
;
Lasota Slawomir
会议名称:
《Annual IEEE Symposium on Logic in Computer Science》
|
2011年
关键词:
automata theory;
data languages;
finite memory automata;
nominal sets;
regisrer automatat;
87.
Listings and Logics
机译:
列表和逻辑
作者:
Chen Yijia
;
Flum Joerg
会议名称:
《Annual IEEE Symposium on Logic in Computer Science》
|
2011年
88.
What's Decidable about Halpern and Shoham's Interval Logic? The Maximal Fragment ABBL
机译:
关于Halpern和Shoham的间隔逻辑是什么可判定的? 最大碎片abbl
作者:
Bresolin Davide
;
Montanari Angelo
;
Sala Pietro
;
Sciavicco Guido
会议名称:
《Annual IEEE Symposium on Logic in Computer Science》
|
2011年
关键词:
Complexity;
Decidability;
Interval Temporal Logic;
89.
Game Semantics for Good General References
机译:
良好的普通参考的游戏语义
作者:
Murawski Andrzej S.
;
Tzevelekos Nikos
会议名称:
《Annual IEEE Symposium on Logic in Computer Science》
|
2011年
90.
Roster Page
机译:
名册页面
作者:
{missing}
会议名称:
《Annual IEEE Symposium on Logic in Computer Science》
|
2011年
91.
Foreword
机译:
前言
作者:
{missing}
会议名称:
《Annual IEEE Symposium on Logic in Computer Science》
|
2011年
92.
Complexity of Two-Variable Dependence Logic and IF-Logic
机译:
两个可变依赖性逻辑和if-logic的复杂性
作者:
Kontinen Juha
;
Kuusisto Antti
;
Lohmann Peter
;
Virtema Jonni
会议名称:
《Annual IEEE Symposium on Logic in Computer Science》
|
2011年
关键词:
complexity;
decidability;
dependence logic;
expressivity;
independence-friendly logic;
satisfiability;
two-variable logic;
93.
Powermonads and Tensors of Unranked Effects
机译:
Powermonads和张于Unranked Effects的张致
作者:
Goncharov Sergey
;
Schroder Lutz
会议名称:
《Annual IEEE Symposium on Logic in Computer Science》
|
2011年
关键词:
conservativity;
continuations;
effects;
monads;
tensors;
uniform;
94.
Linear Dependent Types and Relative Completeness
机译:
线性相关类型和相对完整性
作者:
Dal Lago Ugo
;
Gaboardi Marco
会议名称:
《Annual IEEE Symposium on Logic in Computer Science》
|
2011年
关键词:
implicit computational complexity;
lambda calculus;
relative completeness;
type systems;
95.
A Tetrachotomy for Positive First-Order Logic without Equality
机译:
没有平等的正面逻辑的四术
作者:
Madelaine Florent
;
Martin Barnaby
会议名称:
《Annual IEEE Symposium on Logic in Computer Science》
|
2011年
关键词:
Computational Complexity;
Galois connection;
Logic in Computer Science;
Quantified Constraint Satisfaction;
Universal Algebra;
96.
Qualitative Tree Languages
机译:
定性树语言
作者:
Carayol Arnaud
;
Hadda Axel
;
Serre Olivier
会议名称:
《Annual IEEE Symposium on Logic in Computer Science》
|
2011年
97.
Languages of Dot-Depth One over Infinite Words
机译:
Dot-Degrese One Over Infinite字的语言
作者:
Kufleitner Manfred
;
Lauser Alexander
会议名称:
《Annual IEEE Symposium on Logic in Computer Science》
|
2011年
98.
Author Index
机译:
作者索引
作者:
{missing}
会议名称:
《Annual IEEE Symposium on Logic in Computer Science》
|
2011年
99.
Ackermannian and Primitive-Recursive Bounds with Dickson's Lemma
机译:
Ackermannian和迪克森的引理的原始递归界限
作者:
Figueira Diego
;
Figueira Santiago
;
Schmitz Sylvain
;
Schnoebelen Philippe
会议名称:
《Annual IEEE Symposium on Logic in Computer Science》
|
2011年
100.
First Steps in Synthetic Guarded Domain Theory: Step-Indexing in the Topos of Trees
机译:
综合守卫域理论的第一步:树木顶部的逐步索引
作者:
Birkedal Lars
;
Mogelberg Rasmus Ejlers
;
Schwinghammer Jan
;
Stovring Kristian
会议名称:
《Annual IEEE Symposium on Logic in Computer Science》
|
2011年
关键词:
domain theory;
logic;
semantics;
step-indexing;
意见反馈
回到顶部
回到首页