掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献代查
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
计算机、自动化
>
Language and Automata Theory and Applications
Language and Automata Theory and Applications
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
相关中文期刊
互联网周刊
计算机应用研究
计算技术与自动化
计算机科学
数码
计算机应用文摘
化学传感器
传感器世界
信息与电脑
网络与信息
更多>>
相关外文期刊
Journal of Intelligent Information Systems
International Journal of Smart Engineering System Design
Computational Intelligence Magazine, IEEE
International Journal of Computers & Applications
Mobile Information Systems
Macworld
International journal of dependable and trustworthy information systems
Reliable Computing
Journal of Real-Time Image Processing
Searcher
更多>>
相关中文会议
第十三届全国高等学校过程装备与控制工程专业教学与科研校际交流会
中国土木工程学会计算机应用分会第七届年会
中国系统仿真学会2010年学术年会
第八届全国虚拟现实与可视化学术会议(CCVRV'08)
第六届全国仿真器学术会议
广东省仪器仪表学会第一次学术会议
第五届中国科学院超级计算机应用大会
2007年数据挖掘课程研讨会暨2007年新型技术与应用中的安全技术研讨会(WSIETA2007)
中国计算机用户协会信息系统分会2004年信息技术交流大会
第二十四届中国数据库学术会议
更多>>
相关外文会议
Polarization science and remote sensing V
Combinatorial image analysis
Visioning and engineering the knowledge society : A web science perspective
Joint SIGHUM workshop on computational linguistics for cultural heritage, social sciences, humanities and literature 2017
ECOOP'92, European conference on object-oriented programming
Media forensics and security
Visual Information Processing: From Neurons to Chips
Optomechatronic Sensors and Instrumentation
Advancing democracy, government and governance
28th International Symposium on Mathematical Foundations of Computer Science 2003 MFCS 2003 Aug 25-29, 2003 Bratislava, Slovakia
更多>>
热门会议
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.
Match-Bounds with Dependency Pairs for Proving Termination of Rewrite Systems
机译:
具有相关对的匹配范围,用于证明重写系统的终止
作者:
Martin Korp
;
Aart Middeldorp
会议名称:
《Language and Automata Theory and Applications》
|
2008年
2.
An Efficient Algorithm for the Inclusion Problem of a Subclass of DPDAs
机译:
DPDA子类包含问题的高效算法
作者:
Ryo Yoshinaka
会议名称:
《Language and Automata Theory and Applications》
|
2008年
3.
On the Relation between Multicomponent Tree Adjoining Grammars with Tree Tuples (TT-MCTAG) and Range Concatenation Grammars (RCG)
机译:
关于带有树元组的多分量树邻接语法(TT-MCTAG)与范围级联语法(RCG)之间的关系
作者:
Laura Kallmeyer
;
Yannick Parmentier
会议名称:
《Language and Automata Theory and Applications》
|
2008年
4.
Subsequence Counting, Matrix Representations and a Theorem of Eilenberg
机译:
子序列计数,矩阵表示法和艾伦伯格定理
作者:
Benjamin Steinberg
会议名称:
《Language and Automata Theory and Applications》
|
2008年
5.
Tree-Walking Automata
机译:
步行树自动机
作者:
Mikolaj Bojanczyk
会议名称:
《Language and Automata Theory and Applications》
|
2008年
6.
The Three-Color and Two-Color Tantrix™ Rotation Puzzle Problems Are NP-Complete Via Parsimonious Reductions
机译:
三色和两色Tantrix™旋转拼图问题通过简化的还原而成为NP完整的
作者:
Dorothea Baumeister
;
Joerg Rothe
会议名称:
《Language and Automata Theory and Applications》
|
2008年
7.
Optional and Iterated Types for Pregroup Grammars
机译:
前置语法的可选和迭代类型
作者:
Denis Bechet
;
Alexander Dikovsky
;
Annie Foret
;
Emmanuelle Garel
会议名称:
《Language and Automata Theory and Applications》
|
2008年
关键词:
pregroups;
lambek categorial grammars;
categorial dependency grammar;
8.
Efficient Inclusion Checking for Deterministic Tree Automata and DTDs
机译:
确定性树自动机和DTD的高效包含检查
作者:
Jerome Champavere
;
Remi Gilleron
;
Aurelien Lemay
;
Joachim Niehren
会议名称:
《Language and Automata Theory and Applications》
|
2008年
9.
Counting Ordered Patterns in Words Generated by Morphisms
机译:
计算形态学单词中的有序模式
作者:
Sergey Kitaev
;
Toufik Mansour
;
Patrice Seebold
会议名称:
《Language and Automata Theory and Applications》
|
2008年
关键词:
morphisms;
patterns;
rises;
descents;
inversions;
repetitions;
10.
Literal Varieties of Languages Induced by Homomorphisms onto Nilpotent Groups
机译:
同态到幂等群上的语言文字变化
作者:
Ondrej Klima
;
Libor Polak
会议名称:
《Language and Automata Theory and Applications》
|
2008年
关键词:
literal varieties of languages;
homomorphisms onto monoids;
nilpotent groups;
11.
On Regularity-Preservation by String-Rewriting Systems
机译:
关于字符串重写系统的规则保留
作者:
Peter Leupold
会议名称:
《Language and Automata Theory and Applications》
|
2008年
12.
How Many Figure Sets Are Codes?
机译:
代码有多少个图形集?
作者:
Maigorzata Moczurad
;
Wlodzimierz Moczurad
会议名称:
《Language and Automata Theory and Applications》
|
2008年
关键词:
polyominoes;
codes;
asymptotic density;
13.
2-Synchronizing Words
机译:
2个同步词
作者:
Pawel Gawrychowski
;
Andrzej Kisielewicz
会议名称:
《Language and Automata Theory and Applications》
|
2008年
关键词:
formal languages;
synchronizing automata;
14.
Further Results on Insertion-Deletion Systems with One-Sided Contexts
机译:
具有单面上下文的插入删除系统的进一步结果
作者:
Alexander Krassovitskiy
;
Yurii Rogozhin
;
Serghey Verlan
会议名称:
《Language and Automata Theory and Applications》
|
2008年
关键词:
insertion-deletion systems;
universality;
computational non- completeness;
15.
On Bifix Systems and Generalizations
机译:
关于Bifix系统和一般化
作者:
Jan-Henrik Altenbernd
会议名称:
《Language and Automata Theory and Applications》
|
2008年
16.
Consensual Definition of Languages by Regular Sets
机译:
按规则集对语言的共识定义
作者:
Stefano Crespi Reghizzi
;
Pierluigi San Pietro
会议名称:
《Language and Automata Theory and Applications》
|
2008年
17.
A Two-Dimensional Taxonomy of Proper Languages of Lexicalized FRR-Automata
机译:
词汇化FRR-自动机正确语言的二维分类法
作者:
Friedrich Otto
;
Martin Platek
会议名称:
《Language and Automata Theory and Applications》
|
2008年
18.
Not So Many Runs in Strings
机译:
字符串运行不多
作者:
Mathieu Giraud
会议名称:
《Language and Automata Theory and Applications》
|
2008年
19.
Finite Automata, Palindromes, Powers, and Patterns
机译:
有限自动机,回文,能力和模式
作者:
Terry Anderson
;
Narad Rampersad
;
Nicolae Santean
;
Jeffrey Shallit
会议名称:
《Language and Automata Theory and Applications》
|
2008年
20.
One-Dimensional Quantum Cellular Automata over Finite, Unbounded Configurations
机译:
有限,无界配置上的一维量子细胞自动机
作者:
Pablo Arrighi
;
Vincent Nesme
;
Reinhard Werner
会议名称:
《Language and Automata Theory and Applications》
|
2008年
21.
A Hybrid Approach to Word Segmentation of Vietnamese Texts
机译:
越南文字分词的混合方法
作者:
Le Hong Phuong
;
Nguyen Thi Minh Huyen
;
Azim Roussanaly
;
Ho Tuong Vinh
会议名称:
《Language and Automata Theory and Applications》
|
2008年
22.
On Linear Logic Planning and Concurrency
机译:
线性逻辑规划与并发
作者:
Ozan Kahramanogullan
会议名称:
《Language and Automata Theory and Applications》
|
2008年
23.
On the Analysis of 'Simple' 2D Stochastic Cellular Automata
机译:
关于“简单”二维随机细胞自动机的分析
作者:
Damien Regnault
;
Nicolas Schabanel
;
Eric Thierry
会议名称:
《Language and Automata Theory and Applications》
|
2008年
24.
Polycyclic and Bicyclic Valence Automata
机译:
多环和双环价自动机
作者:
Elaine Render
;
Mark Kambites
会议名称:
《Language and Automata Theory and Applications》
|
2008年
25.
Length Codes, Products of Languages and Primality
机译:
长度代码,语言产品和原始性
作者:
Arto Salomaa
;
Kai Salomaa
;
Sheng Yu
会议名称:
《Language and Automata Theory and Applications》
|
2008年
关键词:
catenation of languages;
language decomposition;
prime decomposition;
length code;
star language;
26.
On Alternating Phrase-Structure Grammars
机译:
关于交替短语结构语法
作者:
Etsuro Moriya
;
Friedrich Otto
会议名称:
《Language and Automata Theory and Applications》
|
2008年
27.
Minimalist Grammars with Unbounded Scrambling and Nondiscriminating Barriers Are NP-Hard
机译:
极简主义文法具有无限制的加扰和非歧视性的障碍是NP-Hard
作者:
Alexander Perekrestenko
会议名称:
《Language and Automata Theory and Applications》
|
2008年
28.
Sorting and Element Distinctness on One-Way Turing Machines
机译:
单向图灵机上的分类和元素区别
作者:
Holger Petersen
会议名称:
《Language and Automata Theory and Applications》
|
2008年
29.
Minimizing Deterministic Weighted Tree Automata
机译:
最小化确定性加权树自动机
作者:
Andreas Maletti
会议名称:
《Language and Automata Theory and Applications》
|
2008年
30.
Lower Bounds for Generalized Quantum Finite Automata
机译:
广义量子有限自动机的下界
作者:
Mark Mercer
会议名称:
《Language and Automata Theory and Applications》
|
2008年
31.
On Periodicity of Generalized Two-Dimensional Words
机译:
广义二维词的周期性
作者:
Svetlana Puzynina
会议名称:
《Language and Automata Theory and Applications》
|
2008年
32.
About Universal Hybrid Networks of Evolutionary Processors of Small Size
机译:
关于小型进化处理器的通用混合网络
作者:
Artiom Alhazov
;
Erzsebet Csuhaj-Varju
;
Carlos Martin-Vide
;
Yurii Rogozhin
会议名称:
《Language and Automata Theory and Applications》
|
2008年
关键词:
bio-inspired computing;
hybrid networks of evolutionary processors;
small universal systems;
descriptional complexity;
circular post machines;
33.
Formal Language Tools for Template-Guided DNA Recombination
机译:
用于模板引导的DNA重组的形式语言工具
作者:
Michael Domaratzki
会议名称:
《Language and Automata Theory and Applications》
|
2008年
34.
Synchronizing Automata and the Cerny Conjecture
机译:
同步自动机和Cerny猜想
作者:
Mikhail V. Volkov
会议名称:
《Language and Automata Theory and Applications》
|
2008年
35.
k-Petri Net Controlled Grammars
机译:
k-Petri网控制文法
作者:
Juergen Dassow
;
Sherzod Turaev
会议名称:
《Language and Automata Theory and Applications》
|
2008年
36.
Extending the Overlap Graph for Gene Assembly in Ciliates
机译:
扩展重叠图在纤毛虫中进行基因组装
作者:
Robert Brijder
;
Hendrik Jan Hoogeboom
会议名称:
《Language and Automata Theory and Applications》
|
2008年
37.
Automatic Presentations for Cancellative Semigroups
机译:
抵消半群的自动表示
作者:
Alan J. Cain
;
Graham Oliver
;
Nik Ruskuc
;
Richard M. Thomas
会议名称:
《Language and Automata Theory and Applications》
|
2008年
38.
Induced Subshifts and Cellular Automata
机译:
诱导亚移位和细胞自动机
作者:
Silvio Capobianco
会议名称:
《Language and Automata Theory and Applications》
|
2008年
关键词:
dynamical system;
shift subspace;
cellular automaton;
39.
Hopcroft's Algorithm and Cyclic Automata
机译:
Hopcroft算法和循环自动机
作者:
Giusi Castiglione
;
Antonio Restivo
;
Marinella Sciortino
会议名称:
《Language and Automata Theory and Applications》
|
2008年
40.
Transformations and Preservation of Self-assembly Dynamics through Homotheties
机译:
通过同质论的自组装动力学的变换和保留
作者:
Florent Becker
会议名称:
《Language and Automata Theory and Applications》
|
2008年
41.
Deterministic Input-Reversal and Input-Revolving Finite Automata
机译:
确定性输入反转和输入旋转有限自动机
作者:
Suna Bensch
;
Henning Bordihn
;
Markus Holzer
;
Martin Kutrib
会议名称:
《Language and Automata Theory and Applications》
|
2008年
42.
Random Context in Regulated Rewriting Versus Cooperating Distributed Grammar Systems
机译:
规则重写与合作分布式语法系统中的随机上下文
作者:
Helming Bordihn
;
Markus Holzer
会议名称:
《Language and Automata Theory and Applications》
|
2008年
43.
Characterization of Star-Connected Languages Using Finite Automata
机译:
使用有限自动机表征星联语言
作者:
Barbara Klunder
会议名称:
《Language and Automata Theory and Applications》
|
2008年
44.
Anti-pattern Matching Modulo
机译:
反模式匹配模
作者:
Claude Kirchner
;
Radu Kopetz
;
Pierre-Etienne Moreau
会议名称:
《Language and Automata Theory and Applications》
|
2008年
意见反馈
回到顶部
回到首页