掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
International conference on developments in language theory
International conference on developments in language theory
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
Preface
机译:
前言
作者:
Mizuho Hoshi
;
Shinnosuke Seki
会议名称:
《International conference on developments in language theory》
|
2018年
2.
Block Sorting-Based Transformations on Words: Beyond the Magic BWT
机译:
基于单词的基于块排序的转换:超越魔术BWT
作者:
Raffaele Giancarlo
;
Giovanni Manzini
;
Antonio Restivo
;
Giovanna Rosone
;
Marinella Sciortino
会议名称:
《International conference on developments in language theory》
|
2018年
3.
The Runs Theorem and Beyond
机译:
行程定理及其后
作者:
Tomohiro I
会议名称:
《International conference on developments in language theory》
|
2018年
4.
A Brief Excursion to Parity Games
机译:
奇偶游戏简介
作者:
Bakhadyr Khoussainov
会议名称:
《International conference on developments in language theory》
|
2018年
5.
A Tale of Conjunctive Grammars
机译:
联合语法的故事
作者:
Alexander Okhotin
会议名称:
《International conference on developments in language theory》
|
2018年
6.
Groups, Languages and Dendric Shifts
机译:
群体,语言和树突移位
作者:
Dominique Perrin
会议名称:
《International conference on developments in language theory》
|
2018年
关键词:
Symbolic dynamical systems;
Free groups;
7.
Some Open Problems in Polyomino Tilings
机译:
Polyomino平铺中的一些未解决的问题
作者:
Andrew Winslow
会议名称:
《International conference on developments in language theory》
|
2018年
8.
Weak Cost Register Automata Are Still Powerful
机译:
薄弱的成本记录自动机仍然功能强大
作者:
Shaull Almagor
;
Michaeel Cadilhac
;
Filip Mazowiecki
;
Guillermo A. Perez
会议名称:
《International conference on developments in language theory》
|
2018年
9.
From Two-Way Transducers to Regular Function Expressions
机译:
从双向换能器到正则表达式
作者:
Nicolas Baudru
;
Pierre-Alain Reynier
会议名称:
《International conference on developments in language theory》
|
2018年
10.
Decidability of Right One-Way Jumping Finite Automata
机译:
正确的单向跳跃有限自动机的可判定性
作者:
Simon Beier
;
Markus Holzer
会议名称:
《International conference on developments in language theory》
|
2018年
11.
Additive Number Theory via Approximation by Regular Languages
机译:
通过常规语言逼近的加法数论
作者:
Jason P. Bell
;
Thomas F. Lidbetter
;
Jeffrey Shallit
会议名称:
《International conference on developments in language theory》
|
2018年
12.
Tree-to-Graph Transductions with Scope
机译:
具有范围的树到图转换
作者:
Johanna Bjoerklund
会议名称:
《International conference on developments in language theory》
|
2018年
关键词:
Automata;
Graph languages;
Semantic representations;
13.
A Characterization of Completely Reachable Automata
机译:
完全可达自动机的特征
作者:
E. A. Bondar
;
M. V. Volkov
会议名称:
《International conference on developments in language theory》
|
2018年
关键词:
Deterministic finite automaton;
Complete reachability;
14.
Inequalities for One-Step Products
机译:
一站式产品不等式
作者:
Mario J. J. Branco
;
Jean-Eric Pin
会议名称:
《International conference on developments in language theory》
|
2018年
15.
On the Commutative Equivalence of Context-Free Languages
机译:
上下文无关语言的可交换对等
作者:
Arturo Carpi
;
Flavio DAlessandro
会议名称:
《International conference on developments in language theory》
|
2018年
关键词:
Commutative equivalence;
Context-free language Uniquely decipherable code;
Exponential growth;
16.
Simon's Theorem for Scattered Words
机译:
西蒙散词定理
作者:
Olivier Carton
;
Maurice Pouzet
会议名称:
《International conference on developments in language theory》
|
2018年
17.
The Synchronizing Probability Function for Primitive Sets of Matrices
机译:
矩阵本原集的同步概率函数
作者:
Costanza Catalano
;
Raphaeel M. Jungers
会议名称:
《International conference on developments in language theory》
|
2018年
18.
Recognizability for Automata
机译:
自动机的可识别性
作者:
Didier Caucal
;
Chloe Rispal
会议名称:
《International conference on developments in language theory》
|
2018年
19.
Site-Directed Deletion
机译:
定点删除
作者:
Da-Jung Cho
;
Yo-Sub Han
;
Hwee Kim
;
Kai Salomaa
会议名称:
《International conference on developments in language theory》
|
2018年
关键词:
Bio-inspired operations;
Site-directed deletion Closure properties;
Decidability;
Automata theory;
20.
Counting Subwords and Regular Languages
机译:
计算子词和常规语言
作者:
Charles J. Colbourn
;
Ryan E. Dougherty
;
Thomas F. Lidbetter
;
Jeffrey Shallit
会议名称:
《International conference on developments in language theory》
|
2018年
21.
Deque Languages, Automata and Planar Graphs
机译:
双端队列语言,自动机和平面图
作者:
Stefano Crespi Reghizzi
;
Pierluigi San Pietro
会议名称:
《International conference on developments in language theory》
|
2018年
22.
A General Approach to State Complexity of Operations: Formalization and Limitations
机译:
操作状态复杂性的一般方法:形式化和局限性
作者:
Sylvie Davies
会议名称:
《International conference on developments in language theory》
|
2018年
23.
On Matching Generalised Repetitive Patterns
机译:
关于匹配广义重复模式
作者:
Joel D. Day
;
Pamela Fleischmann
;
Florin Manea
;
Dirk Nowotka
;
Markus L. Schmid
会议名称:
《International conference on developments in language theory》
|
2018年
关键词:
Pattern matching with variables;
Repetitions;
24.
Intersection Non-emptiness and Hardness Within Polynomial Time
机译:
多项式时间内的相交非空性和硬度
作者:
Mateus de Oliveira Oliveira
;
Michael Wehar
会议名称:
《International conference on developments in language theory》
|
2018年
关键词:
Intersection non-emptiness;
Computational complexity Unary automata;
25.
Complexity of Decision Problems on Totally Rigid Acyclic Tree Grammars
机译:
完全刚性无环树文法的决策问题的复杂性
作者:
Sebastian Eberhard
;
Gabriel Fbner
;
Stefan Hetzl
会议名称:
《International conference on developments in language theory》
|
2018年
26.
A Pattern Logic for Automata with Outputs
机译:
具有输出的自动机的模式逻辑
作者:
Emmanuel Filiot
;
Nicolas Mazzocchi
;
Jean-Francois Raskin
会议名称:
《International conference on developments in language theory》
|
2018年
27.
The Intersection Problem for Finite Semigroups
机译:
有限半群的相交问题
作者:
Lukas Fleischer
会议名称:
《International conference on developments in language theory》
|
2018年
28.
On Completely Reachable Automata and Subset Reachability
机译:
关于完全可达自动机和子集可达性
作者:
Francois Gonze
;
Raphaeel M. Jungers
会议名称:
《International conference on developments in language theory》
|
2018年
29.
On Minimal Grammar Problems for Finite Languages
机译:
有限语言的最小语法问题
作者:
Hermann Gruber
;
Markus Holzer
;
Simon Wolfsteiner
会议名称:
《International conference on developments in language theory》
|
2018年
30.
Reversible Pushdown Transducers
机译:
可逆下推传感器
作者:
Bruno Guillon
;
Martin Kutrib
;
Andreas Malcher
;
Luca Prigioniero
会议名称:
《International conference on developments in language theory》
|
2018年
31.
Two-Way Automata and One-Tape Machines Read Only Versus Linear Time
机译:
两向自动机和一卷磁带机对线性时间只读
作者:
Bruno Guillon
;
Giovanni Pighizzini
;
Luca Prigioniero
;
Daniel Prusa
会议名称:
《International conference on developments in language theory》
|
2018年
32.
Dynamics of the Independence Number and Automata Synchronization
机译:
独立数和自动机同步的动力学
作者:
Vladimir V. Gusev
;
Raphaeel M. Jungers
;
Daniel Prusa
会议名称:
《International conference on developments in language theory》
|
2018年
33.
Closest Substring Problems for Regular Languages
机译:
常规语言的最接近子字符串问题
作者:
Yo-Sub Han
;
Sang-Ki Ko
;
Timothy Ng
;
Kai Salomaa
会议名称:
《International conference on developments in language theory》
|
2018年
关键词:
Closest substring problem;
Computational complexity Regular languages;
Edit distance;
34.
Computational Complexity of Decision Problems on Self-verifying Finite Automata
机译:
自验证有限自动机上决策问题的计算复杂性
作者:
Markus Holzer
;
Sebastian Jakobi
;
Jozef Jirasek Jr
会议名称:
《International conference on developments in language theory》
|
2018年
35.
Generalizations of Checking Stack Automata: Characterizations and Hierarchies
机译:
检查堆栈自动机的一般化:特征和层次结构
作者:
Oscar H. Ibarra
;
Ian McQuillan
会议名称:
《International conference on developments in language theory》
|
2018年
关键词:
Checking stack automata;
Multi-head finite automata Characterizations;
Space-bounded Turing machines;
Hierarchies;
36.
On Counting Functions of Languages
机译:
语言的计数功能
作者:
Oscar H. Ibarra
;
Ian McQuillan
;
Bala Ravikumar
会议名称:
《International conference on developments in language theory》
|
2018年
37.
Towards Exact State Complexity Bounds for Input-Driven Pushdown Automata
机译:
输入驱动下推自动机的精确状态复杂度界限
作者:
Galina Jiraskova
;
Alexander Okhotin
会议名称:
《International conference on developments in language theory》
|
2018年
38.
On Abelian Subshifts
机译:
关于阿贝尔变位
作者:
Juhani Karhumaeki
;
Svetlana Puzynina
;
Markus A. Whiteland
会议名称:
《International conference on developments in language theory》
|
2018年
39.
Reachability Problems in Nondeterministic Polynomial Maps on the Integers
机译:
整数上不确定的多项式映射中的可达性问题
作者:
Sang-Ki Ko
;
Reino Niskanen
;
Igor Potapov
会议名称:
《International conference on developments in language theory》
|
2018年
40.
Projection for Buechi Tree Automata with Constraints Between Siblings
机译:
具有兄弟姐妹约束的Buechi树自动机的投影
作者:
Patrick Landwehr
;
Christof Loeding
会议名称:
《International conference on developments in language theory》
|
2018年
关键词:
Tree automata;
Infinite trees Constraints between siblings;
41.
The Computational Power of Parsing Expression Grammars
机译:
解析表达式文法的计算能力
作者:
Bruno Loff
;
Nelma Moreira
;
Rogerio Reis
会议名称:
《International conference on developments in language theory》
|
2018年
42.
On Finitely Ambiguous Buechi Automata
机译:
关于有限歧义的Buechi自动机
作者:
Christof Loeding
;
Anton Pirogov
会议名称:
《International conference on developments in language theory》
|
2018年
关键词:
Buechi automata;
Infinite words;
Ambiguity;
43.
Uniformization Problem for Variants of First Order Logic over Finite Words
机译:
有限词上一阶逻辑变体的一致化问题
作者:
Vincent Michielini
会议名称:
《International conference on developments in language theory》
|
2018年
关键词:
First order logic;
Two variables logic Successor predicate;
Uniformization;
44.
On Deterministic Ordered Restart-Delete Automata
机译:
确定性有序重启/删除自动机
作者:
Friedrich Otto
会议名称:
《International conference on developments in language theory》
|
2018年
关键词:
Restarting automaton;
Ordered rewriting Language operations;
45.
Complementation of Finitely Ambiguous Buechi Automata
机译:
有限模Buechi自动机的补
作者:
Alexander Rabinovich
会议名称:
《International conference on developments in language theory》
|
2018年
46.
A Structural Lemma for Deterministic Context-Free Languages
机译:
确定性上下文无关语言的结构引理
作者:
Alexander A. Rubtsov
会议名称:
《International conference on developments in language theory》
|
2018年
意见反馈
回到顶部
回到首页