掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
其他
>
Symposium on Mathematical Foundations of Computer Science
Symposium on Mathematical Foundations of Computer Science
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
Matching Modulo Associativity and Idempotency Is NP-Complete
机译:
匹配的模数关联和幂幂等是NP-Complete
作者:
Ondej Klima
;
Jii Srba
会议名称:
《Symposium on Mathematical Foundations of Computer Science》
|
2000年
2.
Edge-Bisection of Chordal Rings
机译:
Chordal Rings的边缘二分
作者:
Lali Barriere
;
Josep Fabrega
会议名称:
《Symposium on Mathematical Foundations of Computer Science》
|
2000年
3.
Equation Satisfiability and Program Satisfiability for Finite Monoids
机译:
有限长度的方程可靠性和节目可靠性
作者:
David Mix Barrington
;
Pierre McKenzie
;
Cris Moore
;
Pascal Tesson
;
Denis Therien
会议名称:
《Symposium on Mathematical Foundations of Computer Science》
|
2000年
4.
Time and Message Optimal Leader Election in Asynchronous Oriented Complete Networks
机译:
异步面向完整网络中的时间和消息最佳领导者选举
作者:
Stefan Dobrev
会议名称:
《Symposium on Mathematical Foundations of Computer Science》
|
2000年
5.
Axiomatizing Fully Complete Models for ML Polymorphic Types
机译:
用于ML多态类型的完全完整模型
作者:
Samson Abramsky
;
Marina Lenisa
会议名称:
《Symposium on Mathematical Foundations of Computer Science》
|
2000年
6.
Optimal Satisfiability for Propositional Calculi and Constraint Satisfaction Problems
机译:
主导结石的最佳可靠性和约束满足问题
作者:
Steffen Reith
;
Heribert Vollmer
会议名称:
《Symposium on Mathematical Foundations of Computer Science》
|
2000年
7.
Alternating and Empty Alternating Auxiliary Stack Automata
机译:
交替和空交替辅助堆栈自动机
作者:
Markus Holzer
;
Pierre McKenzie
会议名称:
《Symposium on Mathematical Foundations of Computer Science》
|
2000年
8.
On NP-Partitions over Posets with an Application to Reducing the Set of Solutions of NP Problems
机译:
在具有应用程序的POSETS上的NP分区,以减少NP问题的解决方案
作者:
Sven Kosub
会议名称:
《Symposium on Mathematical Foundations of Computer Science》
|
2000年
9.
Region Analysis and a π-Calculus with Groups
机译:
区域分析和与组的π微分
作者:
Silvano Dal Zilio
;
Andrew D. Gordon
会议名称:
《Symposium on Mathematical Foundations of Computer Science》
|
2000年
10.
Sublinear Ambiguity
机译:
Sublinear歧义
作者:
Klaus Wich
会议名称:
《Symposium on Mathematical Foundations of Computer Science》
|
2000年
11.
State Space Reduction Using Partial τ-Confluence
机译:
使用部分τ-汇合来减少状态空间
作者:
Jan Friso Groote
;
Jaco van de Pol
会议名称:
《Symposium on Mathematical Foundations of Computer Science》
|
2000年
12.
Balanced k-Colorings
机译:
平衡k染色
作者:
Therese C. Biedl
;
Eowyn enek
;
Timothy M. Chan
;
Erik D. Demaine
;
Martin L. Demaine
;
Rudolf Fleischer
;
Ming-Wei Wang
会议名称:
《Symposium on Mathematical Foundations of Computer Science》
|
2000年
13.
The Infinite Versions of LogSpace ≠ P Are Consistent with the Axioms of Set Theory
机译:
LogSpace≠P的无限版本与设定理论的公理相一致
作者:
Gregory Lafitte
;
Jacques Mazoyer
会议名称:
《Symposium on Mathematical Foundations of Computer Science》
|
2000年
14.
A Compositional Model for Confluent Dynamic Data-Flow Networks
机译:
融合动态数据流网络的组成模型
作者:
Frank S. de Boer
;
Marcello M. Bonsangue
会议名称:
《Symposium on Mathematical Foundations of Computer Science》
|
2000年
15.
Factorizing Codes and Schutzenberger Conjectures
机译:
分解代码和Schutzenberger猜想
作者:
Clelia De Felice
会议名称:
《Symposium on Mathematical Foundations of Computer Science》
|
2000年
16.
Counter Machines: Decidable Properties and Applications to Verification Problems
机译:
计数器:判断问题的可解除属性和应用程序
作者:
Oscar H. Ibarra
;
Jianwen Su
;
Zhe Dang
;
Tevfik Bultan
;
Richard Kemmerer
会议名称:
《Symposium on Mathematical Foundations of Computer Science》
|
2000年
17.
Expressiveness of Updatable Timed Automata
机译:
可更新定时自动机的表现力
作者:
P. Bouyer
;
C. Dufourd
;
E. Fleury
;
A. Petit
会议名称:
《Symposium on Mathematical Foundations of Computer Science》
|
2000年
18.
Unary Pushdown Automata and Auxiliary Space Lower Bounds
机译:
一元推动自动机和辅助空间下限
作者:
Giovanni Pighizzini
会议名称:
《Symposium on Mathematical Foundations of Computer Science》
|
2000年
19.
A Hierarchy Result for Read-Once Branching Programs with Restricted Parity Nondeterminism
机译:
具有受限制奇偶校验不确定的阅读程序的层次结构结果
作者:
Petr Savicky
;
Detlef Sieling
会议名称:
《Symposium on Mathematical Foundations of Computer Science》
|
2000年
20.
Regular Collections of Message Sequence Charts
机译:
常规收集消息序列图表
作者:
Jesper G. Henriksen
;
Madhavan Mukund
;
K. Narayan Kumar
;
P.S. Thiagarajan
会议名称:
《Symposium on Mathematical Foundations of Computer Science》
|
2000年
21.
XML Grammars
机译:
XML语法
作者:
Jean Berstel
;
Luc Boasson
会议名称:
《Symposium on Mathematical Foundations of Computer Science》
|
2000年
22.
On the Lower Bounds for One-Way Quantum Automata
机译:
在单向量子自动机的下限上
作者:
Farid Ablayev
;
Aida Gainutdinova
会议名称:
《Symposium on Mathematical Foundations of Computer Science》
|
2000年
23.
On the Use of Duality and Geometry in Layouts for ATM Networks
机译:
关于在ATM网络布局中使用二元和几何
作者:
Shmuel Zaks
会议名称:
《Symposium on Mathematical Foundations of Computer Science》
|
2000年
24.
Explicit Fusions
机译:
明确的融合
作者:
Philippa Gardner
;
Lucian Wischik
会议名称:
《Symposium on Mathematical Foundations of Computer Science》
|
2000年
25.
Automatic Graphs and Graph D0L-Systems
机译:
自动图和图形D0L系统
作者:
Olivier Ly
会议名称:
《Symposium on Mathematical Foundations of Computer Science》
|
2000年
26.
π-Calculus, Structured Coalgebras, and Minimal HD-Automata
机译:
π-微积分,结构化的聚池和最小高清自动机
作者:
Ugo Montanari
;
Marco Pistore
会议名称:
《Symposium on Mathematical Foundations of Computer Science》
|
2000年
27.
Measure Theoretic Completeness Notions for the Exponential Time Classes
机译:
测量指数时间类的理论完整性概述
作者:
Klaus Ambos-Spies
会议名称:
《Symposium on Mathematical Foundations of Computer Science》
|
2000年
28.
Simplifying Flow Networks
机译:
简化流量网络
作者:
Therese C. Biedl
;
Broa Brejova
;
Toma Vina
会议名称:
《Symposium on Mathematical Foundations of Computer Science》
|
2000年
29.
Regularity of Congruential Graphs
机译:
总体图的规律性
作者:
Tanguy Urvoy
会议名称:
《Symposium on Mathematical Foundations of Computer Science》
|
2000年
30.
Derivability in Locally Quantified Modal Logics via Translation in Set Theory
机译:
通过在局部定量的模拟模态逻辑中通过转换进行衍生性
作者:
Angelo Montanari
;
Alberto Policriti
;
Matteo Slanina
会议名称:
《Symposium on Mathematical Foundations of Computer Science》
|
2000年
31.
An Automata-Based Recognition Algorithm for Semi-extended Regular Expressions
机译:
基于自动数据的半扩展正则表达式识别算法
作者:
Hiroaki Yamamoto
会议名称:
《Symposium on Mathematical Foundations of Computer Science》
|
2000年
32.
And/Or Hierarchies and Round Abstraction
机译:
和/或层次结构和圆形抽象
作者:
Radu Grosu
会议名称:
《Symposium on Mathematical Foundations of Computer Science》
|
2000年
33.
Binary Decision Diagrams by Shared Rewriting
机译:
共享重写的二进制决策图
作者:
Jaco van de Pol
;
Hans Zantema
会议名称:
《Symposium on Mathematical Foundations of Computer Science》
|
2000年
34.
NP-Completeness Results and Efficient Approximations for Radiocoloring in Planar Graphs
机译:
平面图中的RadioLocoriation的NP完整性结果和有效近似
作者:
D.A. Fotakis
;
S.E. Nikoletseas
;
V.G. Papadopoulou
;
P.G. Spirakis
会议名称:
《Symposium on Mathematical Foundations of Computer Science》
|
2000年
35.
Informative Labeling Schemes for Graphs
机译:
图形信息标签方案
作者:
David Peleg
会议名称:
《Symposium on Mathematical Foundations of Computer Science》
|
2000年
36.
Why so Many Temporal Logics Climb up the Trees?
机译:
为什么这么多时间逻辑爬上树木?
作者:
Alexander Rabinovich
;
Shahar Maoz
会议名称:
《Symposium on Mathematical Foundations of Computer Science》
|
2000年
37.
Computational Politics: Electoral Systems
机译:
计算政治:选举系统
作者:
Edith Hemaspaandra
;
Lane A. Hemaspaandra
会议名称:
《Symposium on Mathematical Foundations of Computer Science》
|
2000年
38.
Restricted Nondeterministic Read-Once Branching Programs and an Exponential Lower Bound for Integer Multiplication
机译:
限制无限制的读取一次分支程序和整数乘法的指数下限
作者:
Beate Bollig
会议名称:
《Symposium on Mathematical Foundations of Computer Science》
|
2000年
39.
An Algorithm Constructing the Semilinear Post{sup}* for 2-Dim Reset/Transfer VASS
机译:
一种构造半线性柱{sup} *的算法,适用于2-dim复位/传输vAss
作者:
A. Finke
;
G. Sutre
会议名称:
《Symposium on Mathematical Foundations of Computer Science》
|
2000年
40.
Bilinear Functions and Trees over the (max, +) Semiring
机译:
Bilinear函数和树木(最大,+)精彩
作者:
Sabrina Mantaci
;
Vincent D. Blondel
;
Jean Mairesse
会议名称:
《Symposium on Mathematical Foundations of Computer Science》
|
2000年
41.
Formal Series over Algebras
机译:
正式系列在代数上
作者:
Werner Kuich
会议名称:
《Symposium on Mathematical Foundations of Computer Science》
|
2000年
42.
What Do We Learn from Experimental Algorithmics?
机译:
我们从实验算法中学到什么?
作者:
Camil Demetrescu
;
Giuseppe F. Italiano
会议名称:
《Symposium on Mathematical Foundations of Computer Science》
|
2000年
43.
On a Generalization of Bi-Complement Reducible Graphs
机译:
关于双补体还原图的概括
作者:
Vadim V. Lozin
会议名称:
《Symposium on Mathematical Foundations of Computer Science》
|
2000年
44.
On Algorithms and Interaction
机译:
在算法和互动上
作者:
Jan van Leeuwen
;
Jii Wiedermann
会议名称:
《Symposium on Mathematical Foundations of Computer Science》
|
2000年
45.
Reducing the Number of Solutions of NP Functions
机译:
减少NP功能的解决方案数量
作者:
Lane A. Hemaspaandra
;
Mitsunori Ogihara
;
Gerd Wechsung
会议名称:
《Symposium on Mathematical Foundations of Computer Science》
|
2000年
46.
Verifying Single and Multi-mutator Garbage Collectors with Owicki-Gries in Isabelle/HOL
机译:
在Isabelle / Hol中使用Owicki-Gries验证单个和多变致垃圾收集器
作者:
Leonor Prensa Nieto
;
Javier Esparza
会议名称:
《Symposium on Mathematical Foundations of Computer Science》
|
2000年
47.
Iterative Arrays with Small Time Bounds
机译:
迭代阵列具有较小的时间范围
作者:
Thomas Buchholz
;
Andreas Klein
;
Martin Kutrib
会议名称:
《Symposium on Mathematical Foundations of Computer Science》
|
2000年
关键词:
Iterative arrays;
Cellular automata;
Computational complexity;
Time hierarchies;
48.
Separation Results for Rebound Automata
机译:
反弹自动机的分离结果
作者:
Holger Petersen
会议名称:
《Symposium on Mathematical Foundations of Computer Science》
|
2000年
49.
Preemptive Scheduling on Dedicated Processors: Applications of Fractional Graph Coloring
机译:
专用处理器上的抢先调度:分数图着色的应用
作者:
Klaus Jansen
;
Lorant Porkolab
会议名称:
《Symposium on Mathematical Foundations of Computer Science》
|
2000年
50.
Iteration Theories of Boolean Functions
机译:
布尔函数的迭代理论
作者:
Zoltan Esik
会议名称:
《Symposium on Mathematical Foundations of Computer Science》
|
2000年
51.
Abstract Data Types in Computer Algebra
机译:
计算机代数中的抽象数据类型
作者:
James H. Davenport
会议名称:
《Symposium on Mathematical Foundations of Computer Science》
|
2000年
52.
Optical Routing of Uniform Instances in Tori
机译:
Tori中的统一实例的光学路由
作者:
Francesc Comellas
;
Margarida Mitjana
;
Lata Narayanan
;
Jaroslav Opatrny
会议名称:
《Symposium on Mathematical Foundations of Computer Science》
|
2000年
53.
Compositional Characterizations of λ-Terms Using Intersection Types
机译:
使用交叉点类型的λ-术语的组成特征
作者:
M. Dezani-Ciancaglini
;
F. Honsell
;
Y. Motohama
会议名称:
《Symposium on Mathematical Foundations of Computer Science》
|
2000年
54.
State Space Reduction Using Partial г-Confluence
机译:
使用部分Г-汇合减少状态空间
作者:
Jan Friso Groote
;
Jaco van de Pol
会议名称:
《Symposium on Mathematical Foundations of Computer Science》
|
2000年
55.
Periodic-Like Words
机译:
定期的单词
作者:
Arturo Carpi
;
Aldo de Luca
会议名称:
《Symposium on Mathematical Foundations of Computer Science》
|
2000年
56.
On Diving in Trees
机译:
在树上潜水
作者:
Thomas Schwentick
会议名称:
《Symposium on Mathematical Foundations of Computer Science》
|
2000年
57.
0-1 Laws for Fragments of Existential Second-Order Logic: A Survey
机译:
0-1存在二阶逻辑碎片定律:调查
作者:
Phokion G. Kolaitis
;
Moshe Y. Vardi
会议名称:
《Symposium on Mathematical Foundations of Computer Science》
|
2000年
58.
A Family of NFA's Which Need 2{sup}n-α Deterministic States
机译:
NFA的家庭需要2 {sup} n-α确定性状态
作者:
Kazuo Iwama
;
Akihiro Matsuura
;
Mike Paterson
会议名称:
《Symposium on Mathematical Foundations of Computer Science》
|
2000年
59.
μ-Calculus Synthesis
机译:
μ-微积分合成
作者:
Orna Kupferman
;
Moshe Y. Vardi
会议名称:
《Symposium on Mathematical Foundations of Computer Science》
|
2000年
60.
Subtractive Reductions and Complete Problems for Counting Complexity Classes
机译:
复杂性课程的减肥缩减和完整问题
作者:
Arnaud Durand
;
Miki Hermann
;
Phokion G. Kolaitis
会议名称:
《Symposium on Mathematical Foundations of Computer Science》
|
2000年
61.
Embedding Fibonacci Cubes into Hypercubes with Ω(2{sup}(cn)) Faulty Nodes
机译:
将Fibonacci多维数据集嵌入HyperCubes,具有ω(2 {sup}(cn))故障节点
作者:
Rostislav Caha
;
Petr Gregor
会议名称:
《Symposium on Mathematical Foundations of Computer Science》
|
2000年
62.
Abstract Syntax and Variable Binding for Linear Binders
机译:
抽象的线性粘合剂语法和可变绑定
作者:
Miki Tanaka
会议名称:
《Symposium on Mathematical Foundations of Computer Science》
|
2000年
63.
Timed Automata with Monotonic Activities
机译:
具有单调活动的定时自动机
作者:
Ruggero Lanotte
;
Andrea Maggiolo-Schettini
会议名称:
《Symposium on Mathematical Foundations of Computer Science》
|
2000年
64.
The Monadic Theory of Morphic Infinite Words and Generalizations
机译:
形态无限言语与概括的半思想理论
作者:
Olivier Carton
;
Wolfgang Thomas
会议名称:
《Symposium on Mathematical Foundations of Computer Science》
|
2000年
65.
On the Autoreducibility of Random Sequences
机译:
关于随机序列的自闭症
作者:
Todd Ebert
;
Heribert Vollmer
会议名称:
《Symposium on Mathematical Foundations of Computer Science》
|
2000年
66.
Algebraic and Uniqueness Properties of Parity Ordered Binary Decision Diagrams and Their Generalization
机译:
奇偶校验有序二元决策图及其概括的代数和唯一性特性
作者:
Daniel Kral
会议名称:
《Symposium on Mathematical Foundations of Computer Science》
|
2000年
意见反馈
回到顶部
回到首页