掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
计算机、自动化
>
18th Annual Symposium on Theoretical Aspects of Computer Science, Feb 15-17, 2001, Dresden, Germany
18th Annual Symposium on Theoretical Aspects of Computer Science, Feb 15-17, 2001, Dresden, Germany
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
相关中文期刊
计算机应用研究
信息方略
网络新媒体技术
化学传感器
Windows IT Pro Magazine: 国际中文版
自动化博览
中国计算机学会通讯
机器人
计算机辅助工程
计算机应用与软件
更多>>
相关外文期刊
Neural processing letters
Control Engineering
Computer Price Guide
Software quality professional
International journal of internet protocol technology
Computer and information science
International journal of decision support system technology
Journal of Computing and Information Technology
Computer Graphics Forum
International journal of synthetic emotions
更多>>
相关中文会议
2003信息化与信息资源管理学术研讨会
第二届仪表、自动化与先进集成技术大会
第四届和谐人机环境联合学术会议
2010年虚拟技术与环境仿真学术年会
全国抗恶劣环境计算机第十九届学术年会
2003年全国数字化设计与制造学术会议
中国计算机用户协会信息系统分会2007年年会
福建省科协第四届学术年会暨提升福建制造业竞争力的战略思考专题学术年会
现场总线与智能仪表专题研讨会
中国计算机学会青少年电脑教育探索与创新研讨会
更多>>
相关外文会议
Annual Pacific Northwest Software Quality Conference; 20071009-10; Portland,OR(US)
Sensor Technologies and Applications, 2009. SENSORCOMM '09
6th IFAC Workshop on Programmable Devices and Systems 2003 (PDS 2003) Feb 11-13, 2003 Ostrava, Czech Republic
First International Workshop on Software and Performance (WOSP 98) October 12 - 16, 1998 Santa Fe, New Mexico, USA
Design and analysis of algorithms
2019 IEEE International Conference on Artificial Intelligence Circuits and Systems
Proceedings of the Eighth IASTED international conference on Advances in Computer Science
International Workshop on Job Scheduling Strategies for Parallel Processing(JSSPP 2004); 20040613; New York,NY(US)
First International Conference on Formal Aspects of Security FASec 2002; Dec 16-18, 2002; London, UK
Reachability problems
更多>>
热门会议
Meeting of the internet engineering task force;IETF
日本建築学会;日本建築学会大会
日本建築学会(Architectural Institute of Japan);日本建築学会年度大会
日本建築学会学術講演会;日本建築学会
日本建築学会2010年度大会(北陸)
Korean Society of Noise & Vibration Control;Institute of Noise Control Engineering;International congress and exposition on noise control engineering;ASME Noise Control & Acoustics Division
土木学会;土木学会全国大会年次学術講演会
応用物理学会秋季学術講演会;応用物理学会
総合大会;電子情報通信学会
The 4th International Conference on Wireless Communications, Networking and Mobile Computing(第四届IEEE无线通信、网络技术及移动计算国际会议)论文集
更多>>
最新会议
2011 IEEE Cool Chips XIV
International workshop on Java technologies for real-time and embedded systems
Supercomputing '88. [Vol.1]. Proceedings.
RILEM Proceedings PRO 40; International RILEM Conference on the Use of Recycled Materials in Buildings and Structures vol.1; 20041108-11; Barcelona(ES)
International Workshop on Hybrid Metaheuristics(HM 2007); 20071008-09; Dortmund(DE)
The 57th ARFTG(Automatic RF Techniques Group) Conference, May 25, 2001, Phoenix, AZ
Real Time Systems Symposium, 1989., Proceedings.
Conference on Chemical and Biological Sensing V; 20040412-20040413; Orlando,FL; US
American Filtration and Separations Society conference
Combined structures congress;North American steel construction conference;NASCC
更多>>
全选(
0
)
清除
导出
1.
Efficient Recognition of Random Unsatisfiable k-SAT Instances by Spectral Methods
机译:
光谱方法对随机不满足的k-SAT实例的有效识别
作者:
Andreas Goerdt
;
Michael Krivelevich
会议名称:
《18th Annual Symposium on Theoretical Aspects of Computer Science, Feb 15-17, 2001, Dresden, Germany》
|
2001年
2.
Efficient Minimal Perfect Hashing in Nearly Minimal Space
机译:
在几乎最小的空间中进行有效的最小完美散列
作者:
Torben Hagerup
;
Torsten Tholey
会议名称:
《18th Annual Symposium on Theoretical Aspects of Computer Science, Feb 15-17, 2001, Dresden, Germany》
|
2001年
关键词:
computational and structural complexity;
algorithms and data structures;
perfect hashing;
sparse tables;
space complexity;
3.
Evasiveness of Subgraph Containment and Related Properties
机译:
子图包含的回避性和相关属性
作者:
Amit Chakrabarti
;
Subhash Khot
;
Yaoyun Shi
会议名称:
《18th Annual Symposium on Theoretical Aspects of Computer Science, Feb 15-17, 2001, Dresden, Germany》
|
2001年
关键词:
decision tree complexity;
monotone graph properties;
evasiveness;
graph property testing;
4.
Learning Expressions over Monoids
机译:
通过Monoid学习表达式
作者:
Ricard Gavalda
;
Denis Therien
会议名称:
《18th Annual Symposium on Theoretical Aspects of Computer Science, Feb 15-17, 2001, Dresden, Germany》
|
2001年
5.
Matching Polygonal Curves with Respect to the Frechet Distance
机译:
相对于弗里克特距离匹配多边形曲线
作者:
Helmut Alt
;
Christian Knauer
;
Carola Wenk
会议名称:
《18th Annual Symposium on Theoretical Aspects of Computer Science, Feb 15-17, 2001, Dresden, Germany》
|
2001年
关键词:
computational geometry;
shape matching;
frechet distance;
parametric search;
approximation algorithm;
reference point;
steiner point;
6.
2-Nested Simulation Is Not Finitely Equationally Axiomatizable
机译:
2嵌套模拟在方程式上不是有限可合理化的
作者:
Luca Aceto
;
Wan Fokkink
;
Anna Ingolfsdottir
会议名称:
《18th Annual Symposium on Theoretical Aspects of Computer Science, Feb 15-17, 2001, Dresden, Germany》
|
2001年
7.
New Bounds on the OBDD-Size of Integer Multiplication via Universal Hashing
机译:
通过通用散列的整数乘法的OBDD大小的新界限
作者:
Philipp Woelfel
会议名称:
《18th Annual Symposium on Theoretical Aspects of Computer Science, Feb 15-17, 2001, Dresden, Germany》
|
2001年
8.
A Toolkit for First Order Extensions of Monadic Games
机译:
用于Monadic游戏的一阶扩展的工具包
作者:
David Janin
;
Jerzy Marcinkowski
会议名称:
《18th Annual Symposium on Theoretical Aspects of Computer Science, Feb 15-17, 2001, Dresden, Germany》
|
2001年
9.
Myhill-Nerode Relations on Automatic Systems and the Completeness of Kleene Algebra
机译:
自动系统的Myhill-Nerode关系和Kleene代数的完备性
作者:
Dexter Kozen
会议名称:
《18th Annual Symposium on Theoretical Aspects of Computer Science, Feb 15-17, 2001, Dresden, Germany》
|
2001年
10.
On the Circuit Complexity of Random Generation Problems for Regular and Context-Free Languages
机译:
规则语言和上下文无关语言的随机生成问题的电路复杂性
作者:
Massimiliano Goldwurm
;
Beatrice Palano
;
Massimo Santini
会议名称:
《18th Annual Symposium on Theoretical Aspects of Computer Science, Feb 15-17, 2001, Dresden, Germany》
|
2001年
关键词:
uniform random generation;
ambiguous context-free languages;
auxiliary pushdown automata;
circuit complexity;
11.
On the Minimal Hardware Complexity of Pseudorandom Function Generators
机译:
伪随机函数发生器的最小硬件复杂度
作者:
Matthias Krause
;
Stefan Lucks
会议名称:
《18th Annual Symposium on Theoretical Aspects of Computer Science, Feb 15-17, 2001, Dresden, Germany》
|
2001年
关键词:
cryptography;
pseudorandomness;
boolean complexity theory;
computational distinguishability;
12.
A Logical Approach to Decidability of Hierarchies of Regular Star-Free Languages
机译:
常规无星星语言层次结构确定性的逻辑方法
作者:
Victor L. Selivanov
会议名称:
《18th Annual Symposium on Theoretical Aspects of Computer Science, Feb 15-17, 2001, Dresden, Germany》
|
2001年
关键词:
star-free regular languages;
hierarchies;
definability;
decidability;
13.
On Presburger Liveness of Discrete Timed Automata
机译:
离散定时自动机的Presburger活动
作者:
Zhe Dang
;
Pierluigi San Pietro
;
Richard A. Kemmerer
会议名称:
《18th Annual Symposium on Theoretical Aspects of Computer Science, Feb 15-17, 2001, Dresden, Germany》
|
2001年
14.
On the Complexity of Computing Minimum Energy Consumption Broadcast Subgraphs
机译:
关于计算最小能耗广播子图的复杂性
作者:
Andrea E.F. Clementi
;
Pilu Crescenzi
;
Paolo Penna
;
Gianluca Rossi
;
Paola Vocca
会议名称:
《18th Annual Symposium on Theoretical Aspects of Computer Science, Feb 15-17, 2001, Dresden, Germany》
|
2001年
15.
A Primal-Dual Approximation Algorithm for the Survivable Network Design Problem in Hypergraph
机译:
超图中可生存网络设计问题的原始对偶逼近算法
作者:
Liang Zhao
;
Hiroshi Nagamochi
;
Toshihide Ibaraki
会议名称:
《18th Annual Symposium on Theoretical Aspects of Computer Science, Feb 15-17, 2001, Dresden, Germany》
|
2001年
16.
Optimal and Approximate Station Placement in Networks (With Applications to Multicasting and Space Efficient Traversals)
机译:
网络中最佳站点和近似站点的位置(应用于多播和有效利用空间的遍历)
作者:
Clemente Galdi
;
Christos Kaklamanis
;
Manuela Montangero
;
Pino Persiano
会议名称:
《18th Annual Symposium on Theoretical Aspects of Computer Science, Feb 15-17, 2001, Dresden, Germany》
|
2001年
关键词:
multicasting;
approximation algorithms;
distributed systems;
networks;
17.
Recurrence in Infinite Words
机译:
无限词重复出现
作者:
Julien Cassaigne
会议名称:
《18th Annual Symposium on Theoretical Aspects of Computer Science, Feb 15-17, 2001, Dresden, Germany》
|
2001年
18.
Recursive Randomized Coloring Beats Fair Dice Random Colorings
机译:
递归随机着色优于公平骰子随机着色
作者:
Benjamin Doerr
;
Anand Srivastav
会议名称:
《18th Annual Symposium on Theoretical Aspects of Computer Science, Feb 15-17, 2001, Dresden, Germany》
|
2001年
19.
A Simple Undecidable Problem: The Inclusion Problem for Finite Substitutions on ab~*c
机译:
一个无法确定的简单问题:ab〜* c上有限置换的包含问题
作者:
Juhani Karhumaeki
;
Leonid P. Lisovik
会议名称:
《18th Annual Symposium on Theoretical Aspects of Computer Science, Feb 15-17, 2001, Dresden, Germany》
|
2001年
20.
A 5/2n~2-Lower Bound for the Multiplicative Complexity of n x n-Matrix Multiplication
机译:
n x n矩阵乘法的乘法复杂度的5 / 2n〜2下界
作者:
Markus Blaeser
会议名称:
《18th Annual Symposium on Theoretical Aspects of Computer Science, Feb 15-17, 2001, Dresden, Germany》
|
2001年
21.
The Complexity of Copy Constant Detection in Parallel Programs
机译:
并行程序中复制常数检测的复杂性
作者:
Markus Mueller-Olm
会议名称:
《18th Annual Symposium on Theoretical Aspects of Computer Science, Feb 15-17, 2001, Dresden, Germany》
|
2001年
22.
The Complexity of Minimal Satisfiability Problems
机译:
最小满足性问题的复杂性
作者:
Lefteris M. Kirousis
;
Phokion G. Kolaitis
会议名称:
《18th Annual Symposium on Theoretical Aspects of Computer Science, Feb 15-17, 2001, Dresden, Germany》
|
2001年
23.
The #a = #6 Pictures Are Recognizable
机译:
#a =#6图片可识别
作者:
Klaus Reinhardt
会议名称:
《18th Annual Symposium on Theoretical Aspects of Computer Science, Feb 15-17, 2001, Dresden, Germany》
|
2001年
关键词:
automata and formal languages;
logic;
24.
Star-Free Open Languages and Aperiodic Loops'
机译:
无星星的开放语言和非周期性循环“
作者:
Martin Beaudry
;
Francois Lemieux
;
Denis Therien
会议名称:
《18th Annual Symposium on Theoretical Aspects of Computer Science, Feb 15-17, 2001, Dresden, Germany》
|
2001年
25.
Space Efficient Algorithms for Series-Parallel Graphs
机译:
串并行图的空间高效算法
作者:
Andreas Jakoby
;
Maciej Liskiewicz
;
Ruediger Reischuk
会议名称:
《18th Annual Symposium on Theoretical Aspects of Computer Science, Feb 15-17, 2001, Dresden, Germany》
|
2001年
26.
Semantical Principles in the Modal Logic of Coalgebras
机译:
代数模态逻辑中的语义原理
作者:
Dirk Pattinson
会议名称:
《18th Annual Symposium on Theoretical Aspects of Computer Science, Feb 15-17, 2001, Dresden, Germany》
|
2001年
27.
Scalable Sparse Topologies with Small Spectrum
机译:
小频谱可扩展的稀疏拓扑
作者:
Robert Elsaesser
;
Rastislav Kralovic
;
Burkhard Monien
会议名称:
《18th Annual Symposium on Theoretical Aspects of Computer Science, Feb 15-17, 2001, Dresden, Germany》
|
2001年
28.
Approximation Algorithms for the Bottleneck Stretch Factor Problem
机译:
瓶颈拉伸因子问题的近似算法
作者:
Giri Narasimhan
;
Michiel Smid
会议名称:
《18th Annual Symposium on Theoretical Aspects of Computer Science, Feb 15-17, 2001, Dresden, Germany》
|
2001年
29.
Residual Finite State Automata
机译:
剩余有限状态自动机
作者:
Francois Denis
;
Aurelien Lemay
;
Alain Terlutte
会议名称:
《18th Annual Symposium on Theoretical Aspects of Computer Science, Feb 15-17, 2001, Dresden, Germany》
|
2001年
30.
Regular Languages Defined by Generalized First-Order Formulas with a Bounded Number of Bound Variables
机译:
由带有约束变量数量的广义一阶公式定义的常规语言
作者:
Howard Straubing
;
Denis Therien
会议名称:
《18th Annual Symposium on Theoretical Aspects of Computer Science, Feb 15-17, 2001, Dresden, Germany》
|
2001年
31.
Deterministic Radio Broadcasting at Low Cost
机译:
低成本确定性广播
作者:
Anders Dessmark
;
Andrzej Pelc
会议名称:
《18th Annual Symposium on Theoretical Aspects of Computer Science, Feb 15-17, 2001, Dresden, Germany》
|
2001年
32.
Approximation Algorithms for Minimum Size 2-Connectivity Problems
机译:
最小尺寸2连通性问题的近似算法
作者:
Piotr Krysta
;
V.S. Anil Kumar
会议名称:
《18th Annual Symposium on Theoretical Aspects of Computer Science, Feb 15-17, 2001, Dresden, Germany》
|
2001年
33.
An Ehrenfeucht-Fraiesse Approach to Collapse Results for First-Order Queries over Embedded Databases
机译:
一种Ehrenfeucht-Fraiesse方法,用于崩溃嵌入式数据库上的一阶查询结果
作者:
Clemens Lautemann
;
Nicole Schweikardt
会议名称:
《18th Annual Symposium on Theoretical Aspects of Computer Science, Feb 15-17, 2001, Dresden, Germany》
|
2001年
关键词:
logic in computer science;
database theory;
34.
On the Class of Languages Recognizable by 1-Way Quantum Finite Automata
机译:
一维量子有限自动机可识别的语言类别
作者:
Andris Ambainis
;
Arnolds Kikusts
;
Maris Valdats
会议名称:
《18th Annual Symposium on Theoretical Aspects of Computer Science, Feb 15-17, 2001, Dresden, Germany》
|
2001年
35.
On the Difference between Polynomial-Time Many-One and Truth-Table Reducibilities on Distributional Problems
机译:
关于分布问题的多项式一次多和真值表可约性的差异
作者:
Shin Aida
;
Rainer Schuler
;
Tatsuie Tsukiji
;
Osamu Watanabe
会议名称:
《18th Annual Symposium on Theoretical Aspects of Computer Science, Feb 15-17, 2001, Dresden, Germany》
|
2001年
36.
A Model Theoretic Proof of Buechi-Type Theorems and First-Order Logic for N-Free Pomsets
机译:
N自由球集的Buechi型定理和一阶逻辑的模型理论证明
作者:
Dietrich Kuske
会议名称:
《18th Annual Symposium on Theoretical Aspects of Computer Science, Feb 15-17, 2001, Dresden, Germany》
|
2001年
37.
On Multipartition Communication Complexity
机译:
多分区通信的复杂性
作者:
Pavol Duris
;
Juraj Hromkovic
;
Stasys Jukna
;
Martin Sauerhoff
;
Georg Schnitger
会议名称:
《18th Annual Symposium on Theoretical Aspects of Computer Science, Feb 15-17, 2001, Dresden, Germany》
|
2001年
38.
Optimal Preemptive Scheduling on Uniform Processors with Non-decreasing Speed Ratios
机译:
速度比不降低的均匀处理器上的最优抢占式调度
作者:
Leah Epstein
会议名称:
《18th Annual Symposium on Theoretical Aspects of Computer Science, Feb 15-17, 2001, Dresden, Germany》
|
2001年
关键词:
algorithms;
scheduling;
39.
Gathering of Asynchronous Oblivious Robots with Limited Visibility
机译:
可见性有限的异步遗忘机器人的聚集
作者:
Paola Flocchini
;
Giuseppe Prencipe
;
Nicola Santoro
;
Peter Widmayer
会议名称:
《18th Annual Symposium on Theoretical Aspects of Computer Science, Feb 15-17, 2001, Dresden, Germany》
|
2001年
关键词:
distributed algorithms;
coordination;
control;
mobile robots;
40.
Refining the Hierarchy of Blind Multicounter Languages
机译:
完善盲多计数器语言的层次结构
作者:
Matthias Jantzen
;
Alexy Kurganskyy
会议名称:
《18th Annual Symposium on Theoretical Aspects of Computer Science, Feb 15-17, 2001, Dresden, Germany》
|
2001年
41.
A New Logical Characterization of Buechi Automata
机译:
Buechi自动机的新逻辑表征
作者:
Giacomo Lenzi
会议名称:
《18th Annual Symposium on Theoretical Aspects of Computer Science, Feb 15-17, 2001, Dresden, Germany》
|
2001年
42.
The UPS Problem
机译:
UPS问题
作者:
Cristina G. Fernandes
;
Till Nierhoff
会议名称:
《18th Annual Symposium on Theoretical Aspects of Computer Science, Feb 15-17, 2001, Dresden, Germany》
|
2001年
43.
The Existential Theory of Equations with Rational Constraints in Free Groups is PSPACE-Complete
机译:
自由群中有理约束方程的存在理论为PSPACE-完全
作者:
Volker Diekert
;
Claudio Gutierrez
;
Christian Hagenah
会议名称:
《18th Annual Symposium on Theoretical Aspects of Computer Science, Feb 15-17, 2001, Dresden, Germany》
|
2001年
关键词:
formal languages;
equations;
regular language;
free group;
44.
Small PCPs with Low Query Complexity
机译:
低查询复杂度的小型PCP
作者:
Prahladh Harsha
;
Madhu Sudan
会议名称:
《18th Annual Symposium on Theoretical Aspects of Computer Science, Feb 15-17, 2001, Dresden, Germany》
|
2001年
45.
Polynomial Time Approximation Schemes for MAX-BISECTION on Planar and Geometric Graphs
机译:
平面图和几何图上MAX-BISECTION的多项式时间逼近方案
作者:
Klaus Jansen
;
Marek Karpinski
;
Andrzej Lingas
;
Eike Seidel
会议名称:
《18th Annual Symposium on Theoretical Aspects of Computer Science, Feb 15-17, 2001, Dresden, Germany》
|
2001年
46.
Randomness, Computability, and Density
机译:
随机性,可计算性和密度
作者:
Rod G. Downey
;
Denis R. Hirschfeldt
;
Andre Nies
会议名称:
《18th Annual Symposium on Theoretical Aspects of Computer Science, Feb 15-17, 2001, Dresden, Germany》
|
2001年
47.
Generalized Langton's Ant: Dynamical Behavior and Complexity
机译:
广义兰顿蚂蚁:动力学行为和复杂性
作者:
Anahi Gajardo
;
Eric Goles
;
Andres Moreira
会议名称:
《18th Annual Symposium on Theoretical Aspects of Computer Science, Feb 15-17, 2001, Dresden, Germany》
|
2001年
48.
Generalized Model-Checking Problems for First-Order Logic
机译:
一阶逻辑的广义模型检查问题
作者:
Martin Grohe
会议名称:
《18th Annual Symposium on Theoretical Aspects of Computer Science, Feb 15-17, 2001, Dresden, Germany》
|
2001年
49.
New Results on Alternating and Non-deterministic Two-Dimensional Finite-State Automata
机译:
交替和不确定二维有限状态自动机的新结果
作者:
Jarkko Kari
;
Cristopher Moore
会议名称:
《18th Annual Symposium on Theoretical Aspects of Computer Science, Feb 15-17, 2001, Dresden, Germany》
|
2001年
意见反馈
回到顶部
回到首页