掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
其他
>
Language and automata theory and applications.
Language and automata theory and applications.
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
Longest Common Extensions via Fingerprinting
机译:
通过指纹最长的通用扩展名
作者:
Philip Bille
;
Inge Li Gortz
;
Jesper Kristensen
会议名称:
《Language and automata theory and applications.》
|
2012年
2.
Isomorphism Testing of Boolean Functions Computable by Constant-Depth Circuits
机译:
恒定深度电路可计算的布尔函数的同构测试
作者:
Vikraman Arvind
;
Yadu Vasudev
会议名称:
《Language and automata theory and applications.》
|
2012年
3.
Defining Contexts in Context-Free Grammars
机译:
在无上下文语法中定义上下文
作者:
Mikhail Barash
;
Alexander Okhotin
会议名称:
《Language and automata theory and applications.》
|
2012年
4.
Measuring Information in Timed Languages
机译:
用定时语言测量信息
作者:
Eugene Asarin
会议名称:
《Language and automata theory and applications.》
|
2012年
5.
Automata-Based Symbolic Representations of Polyhedra
机译:
基于自动机的多面体符号表示
作者:
Bernard Boigelot
;
Julien Brusten
;
Jean-Frangois Degbomont
会议名称:
《Language and automata theory and applications.》
|
2012年
6.
Unification Modulo Chaining
机译:
统一模链
作者:
Siva Anantharaman
;
Christopher Bouchard
;
Paliath Narendran
;
Michael Rusinowitch
会议名称:
《Language and automata theory and applications.》
|
2012年
关键词:
equational unification;
block chaining;
protocol;
7.
One-Way Reversible and Quantum Finite Automata with Advice
机译:
单向可逆和量子有限自动机的建议
作者:
Tomoyuki Yamakami
会议名称:
《Language and automata theory and applications.》
|
2012年
关键词:
reversible finite automaton;
quantum finite automaton;
advice;
regular language;
context-free language;
8.
Integration of the Dual Approaches in the Distributional Learning of Context-Free Grammars
机译:
上下文无关文法分布学习中对偶方法的整合
作者:
Ryo Yoshinaka
会议名称:
《Language and automata theory and applications.》
|
2012年
9.
The Minimal Cost Reachability Problem in Priced Timed Pushdown Systems
机译:
价格定时下推系统中的最小成本可及性问题
作者:
Parosh Aziz Abdulla
;
Mohamed Faouzi Atig
;
Jari Stenman
会议名称:
《Language and automata theory and applications.》
|
2012年
10.
Applying Tree Languages in Proof Theory
机译:
树语言在证明理论中的应用
作者:
Stefan Hetzl
会议名称:
《Language and automata theory and applications.》
|
2012年
11.
Characterizing the Rational Functions by Restarting Transducers
机译:
通过重新启动换能器来表征有理函数
作者:
Norbert Hundeshagen
;
Friedrich Otto
会议名称:
《Language and automata theory and applications.》
|
2012年
12.
A Faster Grammar-Based Self-index
机译:
更快的基于语法的自我索引
作者:
Travis Gagie
;
Pawel Gawrychowski
;
Juha Karkkainen
;
Yakov Nekrich
;
Simon J. Puglisi
会议名称:
《Language and automata theory and applications.》
|
2012年
13.
Learnability of Co-r.e. Classes
机译:
合作的学习能力班级
作者:
Ziyuan Gao
;
Frank Stephan
会议名称:
《Language and automata theory and applications.》
|
2012年
14.
Computational Complexity of Rule Distributions of Non-uniform Cellular Automata
机译:
非均匀元胞自动机规则分布的计算复杂性
作者:
Alberto Dennunzio
;
Enrico Formenti
;
Julien Provillard
会议名称:
《Language and automata theory and applications.》
|
2012年
15.
Conservative Groupoids Recognize Only Regular Languages
机译:
保守的类群仅识别常规语言
作者:
Danny Dube
;
Mario Latendresse
;
Pascal Tesson
会议名称:
《Language and automata theory and applications.》
|
2012年
16.
Advice Complexity of Online Coloring for Paths
机译:
路径在线着色的建议复杂性
作者:
Michal Forisek
;
Lucia Keller
;
Monika Steinova
会议名称:
《Language and automata theory and applications.》
|
2012年
关键词:
advice complexity;
online graph coloring;
partial coloring;
17.
An Efficient Implicit OBDD-Based Algorithm for Maximal Matchings
机译:
一种基于隐式OBDD的最大匹配算法
作者:
Beate Bollig
;
Tobias Proeger
会议名称:
《Language and automata theory and applications.》
|
2012年
18.
A Parameterized Complexity Tutorial
机译:
参数化复杂度教程
作者:
Rod Downey
会议名称:
《Language and automata theory and applications.》
|
2012年
19.
Covering Space in the Besicovitch Topology
机译:
Besicovitch拓扑中的覆盖空间
作者:
Julien Cervelle
会议名称:
《Language and automata theory and applications.》
|
2012年
关键词:
hamming distance;
besicovitch distance;
dynamical sys-tems;
toeplitz sequences;
20.
Catalytic Petri Nets Are Turing Complete
机译:
催化陪替氏网正在完善
作者:
Gabriel Ciobanu
;
G. Michele Pinna
会议名称:
《Language and automata theory and applications.》
|
2012年
21.
Dynamics of Circuits and Intersecting Circuits
机译:
电路与相交电路的动力学
作者:
Mathilde Noual
会议名称:
《Language and automata theory and applications.》
|
2012年
关键词:
positive and negative circuits;
boolean automata network;
regulation network;
dynamical behaviour;
attractor;
22.
Two-Way Automata Making Choices Only at the Endmarkers
机译:
双向自动机只能在端点标记处做出选择
作者:
Viliam Geffert
;
Bruno Guillon
;
Giovanni Pighizzini
会议名称:
《Language and automata theory and applications.》
|
2012年
关键词:
two-way automata;
descriptional complexity;
regular languages;
23.
Polynomial-Time Algorithms for Learning Typed Pattern Languages
机译:
学习类型模式语言的多项式时间算法
作者:
Michael Geilke
;
Sandra Zilles
会议名称:
《Language and automata theory and applications.》
|
2012年
24.
Weak Synchronization and Synchronizability of Multitape Pushdown Automata and Turing Machines
机译:
多带下推自动机和图灵机的弱同步和可同步性
作者:
Oscar H. Ibarra
;
Nicholas Q. Tran
会议名称:
《Language and automata theory and applications.》
|
2012年
关键词:
multitape NPDAs;
weakly synchronized;
reversal-bounded counters;
multitape turing machines;
(un)decidability;
halting prob-lem;
post correspondence problem;
25.
Forbidding Sets and Normal Forms for Language Forbidding-Enforcing Systems
机译:
语言禁止执行系统的禁止集和范式
作者:
Daniela Genova
会议名称:
《Language and automata theory and applications.》
|
2012年
关键词:
fe-systems;
forbidden words;
biomolecular computing;
nor-mal forms;
formal languages;
26.
The Membership Problem for Regular Expressions with Unordered Concatenation and Numerical Constraints
机译:
具有无序串联和数值约束的正则表达式的隶属度问题
作者:
Dag Hovland
会议名称:
《》
|
2012年
关键词:
regular expressions;
automata;
numerical constraints;
un-ordered concatenation;
interleaving;
XML;
SGML;
27.
On Stable and Unstable Limit Sets of Finite Families of Cellular Automata
机译:
细胞自动机有限族的稳定和不稳定极限集
作者:
Ville Salo
;
Ilkka Torma
会议名称:
《Language and automata theory and applications.》
|
2012年
关键词:
cellular automata;
symbolic dynamics;
limit sets;
28.
Strong Termination for Gap-Order Constraint Abstractions of Counter Systems
机译:
计数器系统的缺口顺序约束抽象的强终止
作者:
Laura Bozzelli
会议名称:
《Language and automata theory and applications.》
|
2012年
29.
On Model Checking for Visibly Pushdown Automata
机译:
关于可视下推自动机的模型检查
作者:
Tang Van Nguyen
;
Hitoshi Ohsaki
会议名称:
《Language and automata theory and applications.》
|
2012年
30.
Computing by Observing Insertion
机译:
通过观察插入进行计算
作者:
Alexander Krassovitskiy
;
Peter Leupold
会议名称:
《Language and automata theory and applications.》
|
2012年
31.
On the Parameterized Complexity of Default Logic and Autoepistemic Logic
机译:
论默认逻辑和自流行逻辑的参数化复杂度
作者:
Arne Meier
;
Johannes Schmidt
;
Michael Thomas
;
Heribert Vollmer
会议名称:
《Language and automata theory and applications.》
|
2012年
32.
Automaton-Based Array Initialization Analysis
机译:
基于自动机的阵列初始化分析
作者:
Durica Nikolic
;
Fausto Spoto
会议名称:
《Language and automata theory and applications.》
|
2012年
33.
Around the Physical Church-Turing Thesis: Cellular Automata, Formal Languages, and the Principles of Quantum Theory
机译:
围绕物理教堂转向论文:元胞自动机,形式语言和量子理论的原理
作者:
Gilles Dowek
会议名称:
《Language and automata theory and applications.》
|
2012年
34.
Feasible Automata for Two-Variable Logic with Successor on Data Words
机译:
带有数据字后继器的两变量逻辑可行自动机
作者:
Ahmet Kara
;
Thomas Schwentick
;
Tony Tan
会议名称:
《Language and automata theory and applications.》
|
2012年
35.
Cayley Graph Automatic Groups Are Not Necessarily Cayley Graph Biautomatic
机译:
Cayley图自动组不是必需的Cayley图Biautomatic
作者:
Alexei Miasnikov
;
Zoran Sunic
会议名称:
《Language and automata theory and applications.》
|
2012年
关键词:
automatic structure;
cayley graph automatic group;
cayley graph biautomatic group;
conjugacy problem;
isomorphism problem;
36.
Approximate Regular Expressions and Their Derivatives
机译:
近似正则表达式及其导数
作者:
Jean-Marc Champarnaud
;
Hadrien Jeanne
;
Ludovic Mignot
会议名称:
《Language and automata theory and applications.》
|
2012年
37.
Nash Equilibria in Concurrent Priced Games
机译:
并行定价游戏中的纳什均衡
作者:
Miroslav Klimos
;
Kim G. Larsen
;
Filip Stefanak
;
Jeppe Thaarup
会议名称:
《Language and automata theory and applications.》
|
2012年
38.
k-Automatic Sets of Rational Numbers
机译:
k-有理数自动集
作者:
Eric Rowland
;
Jeffrey Shallit
会议名称:
《Language and automata theory and applications.》
|
2012年
39.
Fast and Cache-Oblivious Dynamic Programming with Local Dependencies
机译:
具有局部依赖关系的快速且不受缓存影响的动态编程
作者:
Philip Bille
;
Morten Stockel
会议名称:
《Language and automata theory and applications.》
|
2012年
40.
Reversible Multi-head Finite Automata Characterize Reversible Logarithmic Space
机译:
可逆多头有限自动机表征可逆对数空间
作者:
Holger Bock Axelsen
会议名称:
《Language and automata theory and applications.》
|
2012年
41.
Automaton Ranks of Some Self-similar Groups
机译:
一些自相似群的自动机等级
作者:
Adam Woryna
会议名称:
《Language and automata theory and applications.》
|
2012年
关键词:
tree of words;
self-similar group;
automaton group;
wreath product;
42.
Canonizable Partial Order Generators
机译:
规范化部分订单生成器
作者:
Mateus de Oliveira Oliveira
会议名称:
《Language and automata theory and applications.》
|
2012年
关键词:
partial orders;
automata;
canonization;
43.
Ogden's Lemma for ETOL Languages
机译:
奥格登的ETOL语言引理
作者:
Max Rabkin
会议名称:
《Language and automata theory and applications.》
|
2012年
44.
Patterns with Bounded Treewidth
机译:
树宽有界的模式
作者:
Daniel Reidenbach
;
Markus L. Schmid
会议名称:
《Language and automata theory and applications.》
|
2012年
关键词:
pattern languages;
membership problem;
treewidth;
ex-tended regular expressions;
45.
P-NP Threshold for Synchronizing Road Coloring
机译:
用于同步道路着色的P-NP阈值
作者:
Adam Roman
会议名称:
《Language and automata theory and applications.》
|
2012年
意见反馈
回到顶部
回到首页