掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
International conference on language and automata theory and applications
International conference on language and automata theory and applications
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
Preface
机译:
前言
作者:
Alberto Leporati
;
Carlos Martin-Vide
;
Dana Shapira
;
Claudio Zandron
会议名称:
《International conference on language and automata theory and applications》
|
2020年
2.
The New Complexity Landscape Around Circuit Minimization
机译:
围绕电路最小化的新复杂性格局
作者:
Eric Allender
会议名称:
《》
|
2020年
关键词:
Complexity theory;
Kolmogorov complexity;
Minimum Circuit Size Problem;
3.
Containment and Equivalence of Weighted Automata: Probabilistic and Max-Plus Cases
机译:
加权自动机的遏制和对等:概率和Max-Plus案例
作者:
Laure Daviaud
会议名称:
《International conference on language and automata theory and applications》
|
2020年
关键词:
Weighted automata;
Probabilistic automata;
Max-plus automata;
Equivalence problem;
Containment problem;
Decidability;
4.
Approaching Arithmetic Theories with Finite-State Automata
机译:
用有限状态自动机逼近算术理论
作者:
Christoph Haase
会议名称:
《International conference on language and automata theory and applications》
|
2020年
关键词:
Presburger arithmetic;
Buechi arithmetic;
Reachability;
Automatic structures;
5.
Recompression: Technique for Word Equations and Compressed Data
机译:
重新压缩:单词方程式和压缩数据的技术
作者:
Artur Jez
会议名称:
《International conference on language and automata theory and applications》
|
2020年
关键词:
Algorithms on automata and words;
Word equations;
Context unification;
Equations in groups;
Compression;
SLPs;
6.
How to Prove that a Language Is Regular or Star-Free?
机译:
如何证明一种正常或无星星的语言?
作者:
Jean-Eric Pin
会议名称:
《International conference on language and automata theory and applications》
|
2020年
7.
Deciding Classes of Regular Languages: The Covering Approach
机译:
确定常规语言的类别:掩盖方法
作者:
Thomas Place
会议名称:
《International conference on language and automata theory and applications》
|
2020年
关键词:
Regular languages;
Automata;
Covering;
Membership;
Star-free languages;
Piecewise testable languages;
8.
Nonstandard Cayley Automatic Representations for Fundamental Groups of Torus Bundles over the Circle
机译:
圆环上环面基本群的非标准Cayley自动表示
作者:
Dmitry Berdinsky
;
Prohrak Kruengthomya
会议名称:
《International conference on language and automata theory and applications》
|
2020年
关键词:
FA-presentable structure;
Cayley automatic representation;
Semidirect product;
Pell's equation;
9.
〈R, +, <, 1〉 Is Decidable in 〈R, +, <, Z〉
机译:
在
中可确定〈R,+,<,1〉
作者:
Alexis Bes
;
Christian Choffrut
会议名称:
《International conference on language and automata theory and applications》
|
2020年
10.
Ordered Semiautomatic Rings with Applications to Geometry
机译:
有序半自动环及其在几何上的应用
作者:
Ziyuan Gao
;
Sanjay Jain
;
Ji Qi
;
Philipp Schlicht
;
Frank Stephan
;
Jacob Tarr
会议名称:
《International conference on language and automata theory and applications》
|
2020年
11.
Boolean Monadic Recursive Schemes as a Logical Characterization of the Subsequential Functions
机译:
布尔单子递归方案作为后继函数的逻辑表征
作者:
Siddharth Bhaskar
;
Jane Chandlee
;
Adam Jardine
;
Christopher Oakden
会议名称:
《International conference on language and automata theory and applications》
|
2020年
关键词:
Subsequential functions;
Logic;
Recursive program schemes;
Finite automata;
12.
Expressiveness and Conciseness of Timed Automata for the Verification of Stochastic Models
机译:
定时自动机用于随机模型验证的表现力和简洁性
作者:
Susanna Donatelli
;
Serge Haddad
会议名称:
《International conference on language and automata theory and applications》
|
2020年
13.
Windable Heads and Recognizing NL with Constant Randomness
机译:
可卷绕头和具有恒定随机性的NL识别
作者:
Mehmet Utkan Gezer
会议名称:
《International conference on language and automata theory and applications》
|
2020年
关键词:
Interactive proof systems;
Multi-head finite automata;
Probabilistic finite automata;
14.
Alternating Finite Automata with Limited Universal Branching
机译:
具有有限通用分支的有限自动机
作者:
Chris Keeler
;
Kai Salomaa
会议名称:
《International conference on language and automata theory and applications》
|
2020年
15.
Pebble-Intervals Automata and FO2 with Two Orders
机译:
卵石间隔自动机和FO2具有两个阶
作者:
Nadia Labai
;
Tomer Kotek
;
Magdalena Ortiz
;
Helmut Veith
会议名称:
《International conference on language and automata theory and applications》
|
2020年
关键词:
Automata and logic;
Pebble-intervals automata;
Emptiness testing;
Decidability;
Two-variable fragment;
Data words;
16.
Limited Two-Way Deterministic Finite Automata with Advice
机译:
有限的双向确定性有限自动机并提供建议
作者:
Ahmet Bilal Uçan
会议名称:
《International conference on language and automata theory and applications》
|
2020年
关键词:
Formal languages;
Automata theory;
Advised computation;
17.
On the Size of Depth-Two Threshold Circuits for the Inner Product Mod 2 Function
机译:
内积Mod 2函数的深度两个阈值电路的大小
作者:
Kazuyuki Amano
会议名称:
《International conference on language and automata theory and applications》
|
2020年
关键词:
Circuit complexity;
Threshold circuits;
Linear programming;
Upper bounds;
Lower bounds;
18.
Complexity Issues of String to Graph Approximate Matching
机译:
字符串到图的近似匹配的复杂性问题
作者:
Riccardo Dondi
;
Giancarlo Mauri
;
Italo Zoppis
会议名称:
《International conference on language and automata theory and applications》
|
2020年
关键词:
Algorithms on strings;
Computational complexity;
Graph query;
Parameterized complexity;
Patterns;
String to graph matching;
19.
Complexity or Automatic Sequences
机译:
复杂性或自动序列
作者:
Hans Zantema
会议名称:
《International conference on language and automata theory and applications》
|
2020年
20.
Context-Sensitive Fusion Grammars Are Universal
机译:
上下文相关的融合语法是通用的
作者:
Aaron Lye
会议名称:
《International conference on language and automata theory and applications》
|
2020年
关键词:
Graph transformation;
Context-sensitive fusion grammars;
Recursively enumerable languages;
Chomsky grammar;
Post correspondence problem;
21.
Cyclic Shift on Multi-component Grammars
机译:
多分量文法的循环移位
作者:
Alexander Okhotin
;
Alexey Sorokin
会议名称:
《International conference on language and automata theory and applications》
|
2020年
22.
The Automatic Baire Property and an Effective Property of ω-Rational Functions
机译:
Baire的自动贝叶性质和ω-有理函数的有效性质
作者:
Olivier Finkel
会议名称:
《International conference on language and automata theory and applications》
|
2020年
关键词:
Decision problems;
Regular languages of infinite words;
Infinitary rational relations;
ω-rational functions;
Topology;
Automatic Baire property;
Points of continuity;
23.
The Power of Programs over Monoids in J
机译:
J中程序对Monoid的影响力
作者:
Nathan Grosshans
会议名称:
《International conference on language and automata theory and applications》
|
2020年
24.
Geometrically Closed Positive Varieties of Star-Free Languages
机译:
无星星语言的几何闭合正变体
作者:
Ondrej Klima
;
Peter Kostolanyi
会议名称:
《International conference on language and automata theory and applications》
|
2020年
关键词:
Language varieties;
Geometrical closure;
Straubing-Therien hierarchy;
R-trivial monoid;
25.
Intersection and Union Hierarchies of Deterministic Context-Free Languages and Pumping Lemmas
机译:
确定性上下文无关语言和抽运Lemmas的交集和联合层次结构
作者:
Tomoyuki Yaxnakami
会议名称:
《International conference on language and automata theory and applications》
|
2020年
关键词:
Deterministic pushdown automata;
Intersection and union hierarchies;
Pumping lemma;
Limited automata;
26.
On the Weisfeiler-Leman Dimension of Fractional Packing
机译:
关于分数填充的魏斯菲勒-勒曼维
作者:
Vikraman Arvind
;
Frank Fuhlbruck
;
Johannes Koebler
;
Oleg Verbitsky
会议名称:
《International conference on language and automata theory and applications》
|
2020年
关键词:
Computational complexity;
The Weisfeiler-Leman algorithm;
Fractional packing;
27.
Input Strictly Local Tree Transducers
机译:
输入严格的本地树传感器
作者:
Jing Ji
;
Jeffrey Heinz
会议名称:
《International conference on language and automata theory and applications》
|
2020年
关键词:
Strictly local;
Computational syntax;
Tree transducers;
28.
Lyndon Words versus Inverse Lyndon Words: Queries on Suffixes and Bordered Words
机译:
Lyndon单词与反Lyndon单词:对后缀和带边框单词的查询
作者:
Paola Bonizzoni
;
Clelia De Felice
;
Rocco Zaccagnino
;
Rosalba Zizza
会议名称:
《International conference on language and automata theory and applications》
|
2020年
关键词:
Lyndon words;
Lyndon factorization;
Combinatorial algorithms on words;
29.
Reducing the Ambiguity of Parikh Matrices
机译:
减少Parikh矩阵的歧义
作者:
Jeffery Dick
;
Laura K. Hutchinson
;
Robert Mercaş
;
Daniel Reidenbach
会议名称:
《International conference on language and automata theory and applications》
|
2020年
关键词:
Combinatorics;
Parikh matrix;
Ambiguity;
Lyndon conjugate;
30.
On Collapsing Prefix Normal Words
机译:
折叠前缀普通词
作者:
Pamela Fleischmann
;
Mitja Kulczynski
;
Dirk Nowotka
;
Danny Bøgsted Poulsen
会议名称:
《International conference on language and automata theory and applications》
|
2020年
31.
Simplified Parsing Expression Derivatives
机译:
简化的解析表达式衍生物
作者:
Aaron Moss
会议名称:
《International conference on language and automata theory and applications》
|
2020年
关键词:
Parsing;
Parsing expression grammar;
Derivative parsing;
32.
Complete Variable-Length Codes: An Excursion into Word Edit Operations
机译:
完整的可变长度代码:Word编辑操作简介
作者:
Jean Nerand
会议名称:
《International conference on language and automata theory and applications》
|
2020年
关键词:
Closed;
Code;
Complete;
Deletion;
Detection;
Dependent;
Distribution;
Edition;
Embedding;
Independent;
Insertion;
Levenshtein;
Maximal;
String;
Substitution;
Substring;
Subword;
Variable-length;
Word;
意见反馈
回到顶部
回到首页