掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
计算机、自动化
>
Language and automata theory and applications
Language and automata theory and applications
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
相关中文期刊
计算机工程与设计
测试技术学报
软件(教育现代化)(电子版)
自动化博览
上海信息化
中国计算机用户
家庭电子
自动化学报
直通VIP
家庭电子(维修版)
更多>>
相关外文期刊
Simulation & Gaming
Visual Studio Magazine
Data communications
The International journal of robotics research
International journal of computational vision and robotics
International journal of open source software & processes
AISB Journal
International Journal of Web-Based Learning and Teaching Technologies
Foundations and trends in human-computer interaction
International journal of operations research and information systems
更多>>
相关中文会议
第七届全国汉字识别学术会议
第七届全国信息隐藏暨多媒体信息安全学术大会
第22届中国数字广播电视与网络发展年会暨第13届全国互联网与音视频广播发展研讨会
全国第三届信息隐藏学术研讨会
2009国际信息技与应用论坛
第十六届计算机工程与工艺年会暨第二届微处理器技术论坛
第三届中国系统建模与仿真技术高层论坛
全国系统仿真技术及应用研讨会
2005年中国模糊逻辑与计算智能联合学术会议
2011年中国计算机学会服务计算学术会议(CCF NCSC2011)
更多>>
相关外文会议
29th International IARIGAI Research Conference: Advances in Graphic Arts & Media Technology Sep 8-11, 2002 Lake of Lucerne, Switzerland
International Workshop on Computer Science Logic(CSL 2007); 20070911-15; Lausanne(CH)
Pairing-Based Cryptography - Pairing 2008
International Conference on Advances in Pattern Recognition(ICAPR 2005) pt.1; 20050822-25; Bath(GB)
International Conference on Algebraic Methodology and Software Technology(AMAST 2006); 20060705-08; Kuressaare(EE)
Proceedings of the First ACM symposium on Symbolic and algebraic manipulation
Ninth International Conference Fukuoka, Japan, June 4-7, 1996
International Conference on the Simulation and Synthesis of Artificial Life; ;
Computer vision systems
Conference on Optomechatronic Systems 5-6 November 2000 Boston, USA
更多>>
热门会议
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.
Termination of Priority Rewriting
机译:
终止优先权重写
作者:
Isabelle Gnaedig
会议名称:
《Language and automata theory and applications》
|
2009年
2.
Rigid Tree Automata
机译:
刚性树自动机
作者:
Florent Jacquemard
;
Francis Klay
;
Camille Vacher
会议名称:
《Language and automata theory and applications》
|
2009年
3.
Converting Self-verifying Automata into Deterministic Automata
机译:
将自我验证自动机转换为确定性自动机
作者:
Galina Jiraskova
;
Giovanni Pighizzini
会议名称:
《Language and automata theory and applications》
|
2009年
4.
Automata on Gauss Words
机译:
高斯词自动机
作者:
Alexei Lisitsa
;
Igor Potapov
;
Rafiq Saleh
会议名称:
《》
|
2009年
5.
Analysing Complexity in Classes of Unary Automatic Structures
机译:
一元自动结构类的复杂性分析
作者:
Jiamou Liu
;
Mia Minnes
会议名称:
《Language and automata theory and applications》
|
2009年
6.
Efficiency of the Symmetry Bias in Grammar Acquisition
机译:
语法习得中对称偏见的效率
作者:
Ryuichi Matoba
;
Makoto Nakamura
;
Satoshi Tojo
会议名称:
《Language and automata theory and applications》
|
2009年
7.
A Series of Run-Rich Strings
机译:
一系列丰富的字符串
作者:
Wataru Matsubara
;
Kazuhiko Kusano
;
Hideo Bannai
;
Ayumi Shinohara
会议名称:
《Language and automata theory and applications》
|
2009年
8.
On Accepting Networks of Evolutionary Processors with at Most Two Types of Nodes
机译:
具有最多两种类型节点的演化处理器的接受网络
作者:
Victor Mitrana
;
Bianca Truthe
会议名称:
《Language and automata theory and applications》
|
2009年
9.
Genetic Algorithm for Synchronization
机译:
遗传同步算法
作者:
Adam Roman
会议名称:
《Language and automata theory and applications》
|
2009年
10.
Constructing Infinite Words of Intermediate Arithmetical Complexity
机译:
构造中等算术复杂度的无限词
作者:
Paul V. Salimov
会议名称:
《Language and automata theory and applications》
|
2009年
11.
From Gene Trees to Species Trees through a Supertree Approach
机译:
通过树型方法从基因树到物种树
作者:
Celine Scornavacca
;
Vincent Berry
;
Vincent Ranwez
会议名称:
《Language and automata theory and applications》
|
2009年
12.
Minimal Union-Free Decompositions of Regular Languages
机译:
常规语言的最小无联合分解
作者:
Sergey Afonin
;
Denis Golomazov
会议名称:
《Language and automata theory and applications》
|
2009年
13.
Reoptimization of Traveling Salesperson Problems: Changing Single Edge-Weights
机译:
重新优化旅行营业员问题:更改单边权重
作者:
Tobias Berg
;
Harald Hempel
会议名称:
《Language and automata theory and applications》
|
2009年
14.
Decision Problems for Convex Languages
机译:
凸语言的决策问题
作者:
Janusz Brzozowski
;
Jeffrey Shallit
;
Zhi Xu
会议名称:
《Language and automata theory and applications》
|
2009年
15.
Monadic Datalog Tree Transducers
机译:
Monadic Datalog树换能器
作者:
Matthias Buechse
;
Torsten Stueber
会议名称:
《Language and automata theory and applications》
|
2009年
16.
Multi-tilde Operators and Their Glushkov Automata
机译:
多波浪算子及其Glushkov自动机
作者:
Pascal Caron
;
Jean-Marc Champarnaud
;
Ludovic Mignot
会议名称:
《Language and automata theory and applications》
|
2009年
17.
Grammars Controlled by Special Petri Nets
机译:
特殊Petri网控制的文法
作者:
Juergen Dassow
;
Sherzod Turaev
会议名称:
《Language and automata theory and applications》
|
2009年
18.
Monadic Second-Order Logic for Graphs: Algorithmic and Language Theoretical Applications
机译:
图形的Monadic二阶逻辑:算法和语言理论应用
作者:
Bruno Courcelle
会议名称:
《Language and automata theory and applications》
|
2009年
19.
A Language-Based Comparison of Extensions of Petri Nets with and without Whole-Place Operations
机译:
带和不带全位操作的Petri网扩展的基于语言的比较
作者:
Parosh Aziz Abdulla
;
Giorgio Delzanno
;
Laurent Van Begin
会议名称:
《Language and automata theory and applications》
|
2009年
20.
Bounded Delay and Concurrency for Earliest Query Answering
机译:
最早查询应答的有限延迟和并发性
作者:
Olivier Gauwin
;
Joachim Niehren
;
Sophie Tison
会议名称:
《Language and automata theory and applications》
|
2009年
21.
Learning by Erasing in Dynamic Epistemic Logic
机译:
动态认知逻辑中的擦除学习
作者:
Nina Gierasimczuk
会议名称:
《Language and automata theory and applications》
|
2009年
22.
An Application of Generalized Complexity Spaces to Denotational Semantics via the Domain of Words
机译:
广义复杂度空间在词域义指语义中的应用
作者:
Jordi Llull-Chavarria
;
Oscar Valero
会议名称:
《Language and automata theory and applications》
|
2009年
23.
Segmentation Charts for Czech - Relations among Segments in Complex Sentences
机译:
捷克语的分段图-复杂句中各段之间的关系
作者:
Marketa Lopatkova
;
Tomas Holan
会议名称:
《Language and automata theory and applications》
|
2009年
24.
Tiling the Plane with a Fixed Number of Polyominoes
机译:
用固定数量的多米诺骨牌平铺平面
作者:
Nicolas Ollinger
会议名称:
《Language and automata theory and applications》
|
2009年
25.
New Morphic Characterizations of Languages in Chomsky Hierarchy Using Insertion and Locality
机译:
使用插入和局部性的乔姆斯基层次结构中语言的新形态表征
作者:
Kaoru Onodera
会议名称:
《Language and automata theory and applications》
|
2009年
26.
On Parallel Communicating Grammar Systems and Correctness Preserving Restarting Automata
机译:
关于并行通信语法系统和保持正确性的重启自动机
作者:
Dana Pardubska
;
Martin Platek
;
Friedrich Otto
会议名称:
《Language and automata theory and applications》
|
2009年
27.
Finitely Generated Synchronizing Automata
机译:
有限生成的同步自动机
作者:
Elena V. Pribavkina
;
Emanuele Rodaro
会议名称:
《Language and automata theory and applications》
|
2009年
28.
Commutative Regular Shuffle Closed Languages, Noetherian Property, and Learning Theory
机译:
交换规则随机混合封闭语言,Noetherian属性和学习理论
作者:
Yohji Akama
会议名称:
《Language and automata theory and applications》
|
2009年
29.
Matching Trace Patterns with Regular Policies
机译:
将跟踪模式与常规策略匹配
作者:
Franz Baader
;
Andreas Bauer
;
Alwen Tiu
会议名称:
《Language and automata theory and applications》
|
2009年
30.
Absolute Convergence of Rational Series Is Semi-decidable
机译:
有理数列的绝对收敛是半确定的
作者:
Raphaeel Bailly
;
Francois Denis
会议名称:
《Language and automata theory and applications》
|
2009年
31.
Non-solvable Groups Are Not in FO+MOD+MAJ_2 REG
机译:
不可解决的组不在FO + MOD + MAJ_2 REG中
作者:
Christoph Behle
;
Andreas Krebs
;
Stephanie Reifferscheid
会议名称:
《Language and automata theory and applications》
|
2009年
32.
Refinement and Consistency of Timed Modal Specifications
机译:
定时模态规范的细化和一致性
作者:
Nathalie Bertrand
;
Sophie Pinchinat
;
Jean-Baptiste Raclet
会议名称:
《Language and automata theory and applications》
|
2009年
33.
Nondeterministic Instance Complexity and Proof Systems with Advice
机译:
非确定性实例复杂性和咨询系统
作者:
Olaf Beyersdorff
;
Johannes Koebler
;
Sebastian Mueller
会议名称:
《Language and automata theory and applications》
|
2009年
34.
How Many Holes Can an Unbordered Partial Word Contain?
机译:
一个无边界的分词可以包含几个孔?
作者:
Francine Blanchet-Sadri
;
Emily Allen
;
Cameron Byrum
;
Robert Mercas
会议名称:
《Language and automata theory and applications》
|
2009年
35.
An Answer to a Conjecture on Overlaps in Partial Words Using Periodicity Algorithms
机译:
使用周期性算法对部分单词重叠的猜想的答案
作者:
Prancine Blanchet-Sadri
;
Robert Mercas
;
Abraham Rashin
;
Elara Willett
会议名称:
《Language and automata theory and applications》
|
2009年
36.
Partial Projection of Sets Represented by Finite Automata, with Application to State-Space Visualization
机译:
有限自动机表示的集合的部分投影及其在状态空间可视化中的应用
作者:
Bernard Boigelot
;
Jean-Francois Degbomont
会议名称:
《Language and automata theory and applications》
|
2009年
37.
Larger Lower Bounds on the OBDD Complexity of Integer Multiplication
机译:
整数乘法的OBDD复杂度的较大下界
作者:
Beate Bollig
会议名称:
《Language and automata theory and applications》
|
2009年
38.
Picture Languages Generated by Assembling Tiles
机译:
拼块生成的图片语言
作者:
Paola Bonizzoni
;
Claudio Ferretti
;
Anthonath Roslin Sagaya Mary
;
Giancarlo Mauri
会议名称:
《Language and automata theory and applications》
|
2009年
39.
Undecidability of Operation Problems for TOL Languages and Subclasses
机译:
TOL语言和子类的操作问题的不确定性
作者:
Henning Bordihn
;
Markus Holzer
;
Martin Kutrib
会议名称:
《Language and automata theory and applications》
|
2009年
40.
On a Family of Morphic Images of Arnoux-Rauzy Words
机译:
关于Arnoux-Rauzy词的形态图像族
作者:
Michelangelo Bucci
;
Alessandro De Luca
会议名称:
《Language and automata theory and applications》
|
2009年
41.
On Extended Regular Expressions
机译:
关于扩展正则表达式
作者:
Benjamin Carle
;
Paliath Narendran
会议名称:
《Language and automata theory and applications》
|
2009年
42.
Non-uniform Cellular Automata
机译:
非均匀细胞自动机
作者:
Gianpiero Cattaneo
;
Alberto Dennunzio
;
Enrico Formenti
;
Julien Provillard
会议名称:
《Language and automata theory and applications》
|
2009年
43.
A Cryptosystem Based on the Composition of Reversible Cellular Automata
机译:
基于可逆细胞自动机组成的密码系统
作者:
Adam Clarridge
;
Kai Salomaa
会议名称:
《Language and automata theory and applications》
|
2009年
44.
Prediction of Creole Emergence in Spatial Language Dynamics
机译:
空间语言动力学中克里奥尔语出现的预测
作者:
Makoto Nakamura
;
Takashi Hashimoto
;
Satoshi Tojo
会议名称:
《Language and automata theory and applications》
|
2009年
45.
On the Average Size of Glushkov's Automata
机译:
关于Glushkov自动机的平均大小
作者:
Cyril Nicaud
会议名称:
《Language and automata theory and applications》
|
2009年
46.
A Kleene Theorem for Forest Languages
机译:
森林语言的Kleene定理
作者:
Lutz Strassburger
会议名称:
《Language and automata theory and applications》
|
2009年
47.
Determinization; Expr essiveness of Integer Reset Timed Automata with Silent Transitions
机译:
确定性具有静默转换的整数复位定时自动机的扩展性
作者:
P. Vijay Suman
;
Paritosh K. Pandya
会议名称:
《Language and automata theory and applications》
|
2009年
48.
Recent Developments in Algorithmic Teaching
机译:
算法教学的最新进展
作者:
Frank J. Balbach
;
Thomas Zeugmann
会议名称:
《Language and automata theory and applications》
|
2009年
49.
Descriptional and Computational Complexity of Finite Automata
机译:
有限自动机的描述性和计算复杂性
作者:
Markus Holzer
;
Martin Kutrib
会议名称:
《Language and automata theory and applications》
|
2009年
50.
Hypothesis Spaces for Learning
机译:
假设学习空间
作者:
Sanjay Jain
会议名称:
《Language and automata theory and applications》
|
2009年
51.
State Complexity of Nested Word Automata
机译:
嵌套词自动机的状态复杂度
作者:
Kai Salomaa
会议名称:
《Language and automata theory and applications》
|
2009年
52.
One-Clock Deterministic Timed Automata Are Efficiently Identifiable in the Limit
机译:
有效确定一个时钟的确定性定时自动机
作者:
Sicco Verwer
;
Mathijs de Weerdt
;
Cees Witteveen
会议名称:
《Language and automata theory and applications》
|
2009年
53.
Nested Counters in Bit-Parallel String Matching
机译:
位并行字符串匹配中的嵌套计数器
作者:
Kimmo Fredriksson
;
Szymon Grabowski
会议名称:
《Language and automata theory and applications》
|
2009年
54.
The Fault Tolerance of NP-Hard Problems
机译:
NP-Hard问题的容错能力
作者:
Christian Glasser
;
A. Pavan
;
Stephen Travers
会议名称:
《Language and automata theory and applications》
|
2009年
55.
Two Equivalent Regularizations for Tree Adjoining Grammars
机译:
树邻接语法的两个等价正则化
作者:
Anna Kasprzik
会议名称:
《Language and automata theory and applications》
|
2009年
关键词:
tree adjoining grammar;
multi-dimensional trees;
lifting;
regularization;
56.
Self-overlapping Occurrences and Knuth-Morris-Pratt Algorithm for Weighted Matching
机译:
自重叠出现与Knuth-Morris-Pratt加权匹配算法
作者:
Aude Liefooghe
;
Helene Touzet
;
Jean-Stephane Varre
会议名称:
《Language and automata theory and applications》
|
2009年
57.
Membership Testing: Removing Extra Stacks from Multi-stack Pushdown Automata
机译:
成员资格测试:从多堆栈下推式自动机中删除多余的堆栈
作者:
Nutan Limaye
;
Meena Mahajan
会议名称:
《Language and automata theory and applications》
|
2009年
58.
A Note on the Generative Power of Some Simple Variants of Context-Free Grammars Regulated by Context Conditions
机译:
关于由上下文条件调节的上下文无关文法的一些简单变体的生成能力的注记
作者:
Tomas Masopust
会议名称:
《Language and automata theory and applications》
|
2009年
59.
State Complexity of Combined Operations for Prefix-Free Regular Languages
机译:
无前缀常规语言的联合操作的状态复杂性
作者:
Yo-Sub Han
;
Kai Salomaa
;
Sheng Yu
会议名称:
《Language and automata theory and applications》
|
2009年
60.
Towards a Taxonomy for ECFG and RRPG Parsing
机译:
迈向ECFG和RRPG解析的分类标准
作者:
Kees Hemerik
会议名称:
《Language and automata theory and applications》
|
2009年
61.
Counting Parameterized Border Arrays for a Binary Alphabet
机译:
计算二进制字母的参数化边界数组
作者:
Tomohiro I
;
Shunsuke Inenaga
;
Hideo Bannai
;
Masayuki Takeda
会议名称:
《Language and automata theory and applications》
|
2009年
62.
Bounded Hairpin Completion
机译:
有限的发夹完成
作者:
Masami Ito
;
Peter Leupold
;
Victor Mitrana
会议名称:
《Language and automata theory and applications》
|
2009年
63.
The Halting Problem and Undecidability of Document Generation under Access Control for Tree Updates
机译:
树更新的访问控制下的文档生成中断问题和不确定性
作者:
Neil Moore
会议名称:
《Language and automata theory and applications》
|
2009年
意见反馈
回到顶部
回到首页