掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文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
召开年:
2019
召开地:
St. Petersburg(RU)
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
共
554
条结果
1.
Preface
机译:
前言
作者:
Alberto Leporati
;
Carlos Martin-Vide
;
Dana Shapira
;
Claudio Zandron
会议名称:
《International Conference on Language and Automata Theory and Applications》
|
2021年
2.
On Language Varieties Without Boolean Operations
机译:
关于没有布尔运营的语言品种
作者:
Fabian Birkmann
;
Stefan Milius
;
Henning Urbat
会议名称:
《International Conference on Language and Automata Theory and Applications》
|
2021年
3.
Partially Directed Animals with a Bounded Number of Holes
机译:
部分定向动物具有有界数的孔
作者:
Valentina Dorigatti
;
Paolo Massazza
会议名称:
《International Conference on Language and Automata Theory and Applications》
|
2021年
关键词:
Exhaustive generation;
Polyominoes;
CAT algorithms;
4.
On the Transformation of Two-Way Deterministic Finite Automata to Unambiguous Finite Automata
机译:
论双向确定性有限自动机对明确有限自动化的转换
作者:
Semyon Petrov
;
Alexander Okhotin
会议名称:
《International Conference on Language and Automata Theory and Applications》
|
2021年
关键词:
Descriptional complexity;
Two-way finite automata;
Unambiguous finite automata;
5.
Usefulness of Information and Unary Languages
机译:
信息和一元语言的有用性
作者:
Giovanni Pighizzini
;
Branislav Rovan
;
Simon Sadovsky
会议名称:
《International Conference on Language and Automata Theory and Applications》
|
2021年
关键词:
Descriptional complexity;
Deterministic finite automaton;
Regular language;
Unary language;
λ-cyclic language;
Decomposability of regular languages;
Supplementary information;
Usefulness of information;
State complexity;
6.
Sequentiality of Group-Weighted Tree Automata
机译:
群加权树自动机的顺序性
作者:
Frederic Doerband
;
Thomas Feller
;
Kevin Stier
会议名称:
《International Conference on Language and Automata Theory and Applications》
|
2021年
关键词:
Weighted automata;
Deterministic automata;
Tree automata;
Twinning property;
7.
On Balanced Sequences and Their Asymptotic Critical Exponent
机译:
在平衡序列及其渐近关键指数上
作者:
Francesco Dolce
;
Lubomira Dvorakova
;
Edita Pelantova
会议名称:
《International Conference on Language and Automata Theory and Applications》
|
2021年
关键词:
Balanced sequence;
Critical exponent;
Sturmian sequence;
Return word;
Bispecial factors;
8.
On the Computational Power of Programs over BA_2 Monoid
机译:
论Ba_2 over overs的计算能力
作者:
Manasi S. Kulkarni
;
Jayalal Sarma
;
Janani Sundaresan
会议名称:
《International Conference on Language and Automata Theory and Applications》
|
2021年
关键词:
Combinatorics on words;
Polynomial length program (PLP) conjecture;
Programs over monoids;
Monoids and computation;
9.
Location Based Automata for Expressions with Shuffle
机译:
基于位置的自动机用于随机播放的表达式
作者:
Sabine Broda
;
Antonio Machiavelo
;
Nelma Moreira
;
Rogerio Reis
会议名称:
《International Conference on Language and Automata Theory and Applications》
|
2021年
关键词:
Regular expressions;
Position automaton;
Shuffle operator;
10.
Succinct Representations for (Non)Deterministic Finite Automata
机译:
(非)确定性有限自动机的简洁表示
作者:
Sankardeep Chakraborty
;
Roberto Grossi
;
Kunihiko Sadakane
;
Srinivasa Rao Satti
会议名称:
《International Conference on Language and Automata Theory and Applications》
|
2021年
关键词:
Data and image compression;
Computational complexity;
11.
Optimising Attractor Computation in Boolean Automata Networks
机译:
优化布尔自动机网络中的吸引子计算
作者:
Kevin Perrot
;
Pacome Perrotin
;
Sylvain Sene
会议名称:
《International Conference on Language and Automata Theory and Applications》
|
2021年
关键词:
Boolean automata networks;
Modularity;
Optimisation;
12.
On the Power of Nondeterministic Circuits and Co-Nondeterministic Circuits
机译:
关于非季度电路的力量和共同不确定电路的力量
作者:
Hiroki Morizumi
会议名称:
《International Conference on Language and Automata Theory and Applications》
|
2021年
关键词:
Circuit complexity;
Nondeterministic circuit;
Co-nondeterministic circuit;
U_2-circuit;
13.
On Hardest Languages for One-Dimensional Cellular Automata
机译:
以一维蜂窝自动机最难的语言
作者:
Mikhail Mrykhin
;
Alexander Okhotin
会议名称:
《International Conference on Language and Automata Theory and Applications》
|
2021年
14.
Finite-Word Hyperlanguages
机译:
有限单词Hyperranges
作者:
Borzoo Bonakdarpour
;
Sarai Sheinvald
会议名称:
《International Conference on Language and Automata Theory and Applications》
|
2021年
15.
An Algorithm for Single-Source Shortest Paths Enumeration in Parameterized Weighted Graphs
机译:
参数化加权图中的单源最短路径枚举算法
作者:
Bastien Seree
;
Loieg Jezequel
;
Didier Lime
会议名称:
《International Conference on Language and Automata Theory and Applications》
|
2021年
关键词:
Shortest paths;
Weighted graphs;
Parameterized graphs;
16.
Cadences in Grammar-Compressed Strings
机译:
语法压缩字符串的节奏
作者:
Julian Pape-Lange
会议名称:
《International Conference on Language and Automata Theory and Applications》
|
2021年
关键词:
String-cadences;
String algorithms;
Compressed pattern matching;
17.
Deciding Non-emptiness of Hypergraph Languages Generated by Connection-preserving Fusion Grammars is NP-complete
机译:
决定连接保存融合语法生成的超空白的非空虚是NP-Complete
作者:
Aaron Lye
会议名称:
《International Conference on Language and Automata Theory and Applications》
|
2021年
18.
Learning Mealy Machines with One Tinier
机译:
学习用一大机器的机器
作者:
Frits Vaandrager
;
Roderick Bloem
;
Masoud Ebrahimi
会议名称:
《International Conference on Language and Automata Theory and Applications》
|
2021年
19.
Context-Free Grammars with Lookahead
机译:
与看法的无背景语法
作者:
Takayuki Miyazaki
;
Yasuhiko Minamide
会议名称:
《International Conference on Language and Automata Theory and Applications》
|
2021年
关键词:
Context-free grammars;
Parsing expression grammars;
Lookahead;
Syntactic predicates;
Regular expressions;
Formal language theory;
Parsing;
Denotational semantics;
20.
Homomorphic Characterization of Tree Languages Based on Comma-Free Encoding
机译:
基于无逗号编码的树语的同态特征
作者:
Stefano Crespi Reghizzi
;
Pierluigi San Pietro
会议名称:
《International Conference on Language and Automata Theory and Applications》
|
2021年
21.
Commutative Rational Term Rewriting
机译:
交换合理的重写
作者:
Mamoru Ishizuka
;
Takahito Aoto
;
Munehiro Iwami
会议名称:
《International Conference on Language and Automata Theory and Applications》
|
2021年
关键词:
Rational term rewriting;
Commutativity;
Finite automata;
22.
Approximated Determinisation of Weighted Tree Automata
机译:
加权树自动机的近似测定
作者:
Frederic Doerband
;
Thomas Feller
;
Kevin Stier
会议名称:
《International Conference on Language and Automata Theory and Applications》
|
2021年
关键词:
Weighted automata;
Approximation;
Approximated determinisation;
Tree automata;
Twinning property;
23.
Completely Reachable Automata, Primitive Groups and the State Complexity of the Set of Synchronizing Words
机译:
完全可达自动机,原始群体和同步词集的状态复杂性
作者:
Stefan Hoffmann
会议名称:
《International Conference on Language and Automata Theory and Applications》
|
2021年
关键词:
Finite automata;
Synchronization;
Completely reachable automata;
Primitive permutation groups;
State complexity;
24.
Learnability and Positive Equivalence Relations
机译:
学习和积极的等价关系
作者:
David Belanger
;
Ziyuan Gao
;
Sanjay Jain
;
Wei Li
;
Frank Stephan
会议名称:
《International Conference on Language and Automata Theory and Applications》
|
2021年
25.
Temporal Logics with Language Parameters
机译:
具有语言参数的时间逻辑
作者:
Jens Oliver Gutsfeld
;
Markus Mueller-Olm
;
Christian Dielitz
会议名称:
《International Conference on Language and Automata Theory and Applications》
|
2021年
26.
Tree-Like Unit Refutations in Horn Constraint Systems
机译:
喇叭约束系统中的树状单位反驳
作者:
K. Subramani
;
Piotr Wojciechowski
会议名称:
《International Conference on Language and Automata Theory and Applications》
|
2021年
27.
State Complexity of the Set of Synchronizing Words for Circular Automata and Automata over Binary Alphabets
机译:
循环自动机和自动机的同步词组的状态复杂性和二进制字母表
作者:
Stefan Hoffmann
会议名称:
《International Conference on Language and Automata Theory and Applications》
|
2021年
关键词:
Finite automata;
Synchronization;
Completely reachable automata;
State complexity;
Set of synchronizing words;
28.
Tight Bounds on the Minimum Size of a Dynamic Monopoly
机译:
严格限制动态垄断的最小规模
作者:
Ahad N. Zehmakan
会议名称:
《International Conference on Language and Automata Theory and Applications》
|
2019年
关键词:
Dynamic monopoly;
Bootstrap percolation;
Threshold model;
Percolating set;
Target set selection;
29.
Recurrence in Multidimensional Words
机译:
多维单词中的重复出现
作者:
Emilie Charlier
;
Svetlana Puzynina
;
Elise Vandomme
会议名称:
《International Conference on Language and Automata Theory and Applications》
|
2019年
关键词:
Uniform recurrence;
Multidimensional words;
Multidimensional morphisms;
30.
A Note with Computer Exploration on the Triangle Conjecture
机译:
关于三角猜想的计算机探索笔记
作者:
Christophe Cordero
会议名称:
《International Conference on Language and Automata Theory and Applications》
|
2019年
关键词:
Codes;
Triangle conjecture;
Commutative equivalence conjecture;
31.
Efficient Representation and Counting of Antipower Factors in Words
机译:
单词中反功率因数的有效表示和计数
作者:
Tomasz Kociumaka
;
Jakub Radoszewski
;
Wojciech Rytter
;
Juliusz Straszynski
;
Tomasz Walen
;
Wiktor Zuba
会议名称:
《International Conference on Language and Automata Theory and Applications》
|
2019年
关键词:
Antipower;
α-gapped repeat;
Run (maximal repetition);
32.
On the Maximum Number of Distinct Palindromic Sub-arrays
机译:
关于最大回文子阵列的最大数目
作者:
Kalpana Mahalingam
;
Palak Pandoh
会议名称:
《International Conference on Language and Automata Theory and Applications》
|
2019年
关键词:
Combinatorics on words;
Two-dimensional words;
2D palindromes;
Maximum palindromes;
33.
Syntactic View of Sigma-Tau Generation of Permutations
机译:
置换的Sigma-Tau生成的句法视图
作者:
Wojciech Rytter
;
Wiktor Zuba
会议名称:
《International Conference on Language and Automata Theory and Applications》
|
2019年
34.
Palindromic Subsequences in Finite Words
机译:
有限词中的回文序列
作者:
Clemens Muellner
;
Andrew Ryzhikov
会议名称:
《International Conference on Language and Automata Theory and Applications》
|
2019年
关键词:
Palindrome;
Antipalindrome;
Circular words;
Subsequences;
35.
On Varieties of Ordered Automata
机译:
关于有序自动机的各种
作者:
Ondrej Klima
;
Libor Polak
会议名称:
《International Conference on Language and Automata Theory and Applications》
|
2019年
关键词:
Algebraic language theory;
Ordered automata;
36.
Automata over Infinite Sequences of Reals
机译:
实数的无限序列上的自动机
作者:
Klaus Meer
;
Ameen Naif
会议名称:
《International Conference on Language and Automata Theory and Applications》
|
2019年
关键词:
Automata and logic;
Real number computations;
37.
Nonuniform Families of Polynomial-Size Quantum Finite Automata and Quantum Logarithmic-Space Computation with Polynomial-Size Advice
机译:
多项式大小的量子有限自动机的非一致族和具有多项式大小的建议的量子对数空间计算
作者:
Tomoyuki Yamakami
会议名称:
《International Conference on Language and Automata Theory and Applications》
|
2019年
关键词:
Quantum finite automata;
State complexity;
Quantum Turing machine;
Bounded-error probability;
Quantum advice;
38.
Equivalence Checking of Prefix-Free Transducers and Deterministic Two-Tape Automata
机译:
无前缀传感器和确定性两带自动机的等效性检查
作者:
Vladimir A. Zakharov
会议名称:
《International Conference on Language and Automata Theory and Applications》
|
2019年
关键词:
Transducer;
Two-tape automaton;
Equivalence checking;
Prefix-free language;
Language equation;
Decision procedure;
39.
Efficient Symmetry Breaking for SAT-Based Minimum DFA Inference
机译:
基于SAT的最小DFA推理的有效对称性破缺
作者:
Ilya Zakirzyanov
;
Antonio Morgado
;
Alexey Ignatiev
;
Vladimir Ulyantsev
;
Joao Marques-Silva
会议名称:
《International Conference on Language and Automata Theory and Applications》
|
2019年
关键词:
DFA inference;
Boolean satisfiability;
Symmetry breaking;
40.
Closure and Nonclosure Properties of the Compressible and Rankable Sets
机译:
可压缩和可排序集的闭合和非闭合性质
作者:
Jackson Abascal
;
Lane A. Hemaspaandra
;
Shir Maimon
;
Daniel Rubery
会议名称:
《International Conference on Language and Automata Theory and Applications》
|
2019年
关键词:
Complexity theory;
Closure properties;
Compression;
Ranking;
Computability;
41.
The Range of State Complexities of Languages Resulting from the Cut Operation
机译:
剪切操作导致的语言状态复杂性范围
作者:
Markus Holzer
;
Michal Hospodar
会议名称:
《International Conference on Language and Automata Theory and Applications》
|
2019年
42.
State Complexity of Pseudocatenation
机译:
伪连接的状态复杂度
作者:
Lila Kari
;
Timothy Ng
会议名称:
《International Conference on Language and Automata Theory and Applications》
|
2019年
43.
Complexity of Regex Crosswords
机译:
正则表达式填字游戏的复杂性
作者:
Stephen Fenner
;
Daniel Pade
会议名称:
《International Conference on Language and Automata Theory and Applications》
|
2019年
关键词:
Complexity;
Regular expressions;
Regex crossword;
Picture language;
NP-complete;
44.
Generalized Predictive Shift-Reduce Parsing for Hyperedge Replacement Graph Grammars
机译:
超边缘替换图文法的广义预测移位-减少解析
作者:
Berthold Hoffmann
;
Mark Minas
会议名称:
《International Conference on Language and Automata Theory and Applications》
|
2019年
关键词:
Hyperedge replacement grammar;
Graph parsing;
45.
Preface
机译:
前言
作者:
Carlos Martin-Vide
;
Alexander Okhotin
;
Dana Shapira
会议名称:
《International Conference on Language and Automata Theory and Applications》
|
2019年
46.
Searching and Indexing Compressed Text
机译:
搜索和索引压缩文本
作者:
Pawel Gawrychowski
会议名称:
《International Conference on Language and Automata Theory and Applications》
|
2019年
47.
Pattern Discovery in Biological Sequences
机译:
生物序列中的模式发现
作者:
Esko Ukkonen
会议名称:
《International Conference on Language and Automata Theory and Applications》
|
2019年
48.
Modern Aspects of Complexity Within Formal Languages
机译:
形式语言中复杂性的现代方面
作者:
Henning Fernau
会议名称:
《International Conference on Language and Automata Theory and Applications》
|
2019年
关键词:
String problems;
Finite automata;
Context-free grammars;
Multivariate analysis;
Fixed-parameter tractability;
Fine-grained complexity;
49.
Observation and Interaction Invited Paper
机译:
观察与互动邀请论文
作者:
Edward A. Lee
会议名称:
《International Conference on Language and Automata Theory and Applications》
|
2019年
关键词:
Zero-knowledge proof;
Causal reasoning;
Bisimulation;
Randomized controlled trials;
50.
From Words to Graphs, and Back
机译:
从单词到图表,再到后面
作者:
Vadim Lozin
会议名称:
《International Conference on Language and Automata Theory and Applications》
|
2019年
51.
An Oracle Hierarchy for Small One-Way Finite Automata
机译:
小型单向有限自动机的Oracle层次结构
作者:
M. Anabtawi
;
S. Hassan
;
C. Kapoutsis
;
M. Zakzok
会议名称:
《International Conference on Language and Automata Theory and Applications》
|
2019年
52.
Orbits of Abelian Automaton Groups
机译:
阿贝尔自动机群的轨道
作者:
Tim Becker
;
Klaus Sutner
会议名称:
《International Conference on Language and Automata Theory and Applications》
|
2019年
关键词:
Automaton groups;
Embedding;
Number field;
Orbits;
Rational relation;
Classification;
53.
Bounded Automata Groups are co-ETOL
机译:
有界自动机群是共同ETOL
作者:
Alex Bishop
;
Murray Elder
会议名称:
《International Conference on Language and Automata Theory and Applications》
|
2019年
关键词:
Formal language theory;
ETOL language;
Check-stack pushdown automaton;
Bounded automata group;
Co-word problem;
54.
Decidability of Sensitivity and Equicontinuity for Linear Higher-Order Cellular Automata
机译:
线性高阶元胞自动机的灵敏度和等连续性的判定性
作者:
Alberto Dennunzio
;
Enrico Formenti
;
Luca Manzoni
;
Luciano Margara
;
Antonio E. Porreca
会议名称:
《International Conference on Language and Automata Theory and Applications》
|
2019年
55.
Transformation of Petri Nets into Context-Dependent Fusion Grammars
机译:
将Petri网转换为上下文相关的融合语法
作者:
Hans-Joerg Kreowski
;
Sabine Kuske
;
Aaron Lye
会议名称:
《International Conference on Language and Automata Theory and Applications》
|
2019年
56.
Generalized Register Context-Free Grammars
机译:
通用寄存器上下文无关文法
作者:
Ryoma Senda
;
Yoshiaki Takata
;
Hiroyuki Seki
会议名称:
《International Conference on Language and Automata Theory and Applications》
|
2019年
57.
Logic and Rational Languages of Scattered and Countable Series-Parallel Posets
机译:
散数可数级数并行词组的逻辑和理性语言
作者:
Amazigh Amrane
;
Nicolas Bedon
会议名称:
《International Conference on Language and Automata Theory and Applications》
|
2019年
关键词:
Automata and logic;
Transfinite N-free posets;
Series-parallel posets;
Series-parallel rational languages;
Branching automata;
Monadic second-order logic;
Presburger arithmetic;
58.
Toroidal Codes and Conjugate Pictures
机译:
环形码和共轭图片
作者:
Marcella Anselmo
;
Maria Madonia
;
Carla Selmi
会议名称:
《International Conference on Language and Automata Theory and Applications》
|
2019年
关键词:
Two-dimensional languages;
Circular codes;
Conjugacy;
59.
Geometrical Closure of Binary V_(3/2) Languages
机译:
二进制V_(3/2)语言的几何闭合
作者:
Jean-Philippe Dubernard
;
Giovanna Guaiana
;
Ludovic Mignot
会议名称:
《International Conference on Language and Automata Theory and Applications》
|
2019年
关键词:
Regular language;
Geometrical language;
Regular expression;
Straubing-Therien hierarchy;
60.
Deterministic Biautomata and Subclasses of Deterministic Linear Languages
机译:
确定性双自动机和确定性线性语言的子类
作者:
Galina Jiraskova
;
Ondrej Klima
会议名称:
《International Conference on Language and Automata Theory and Applications》
|
2019年
61.
Learning Unions of k-Testable Languages
机译:
k可测试语言的学习联盟
作者:
Alexis Linard
;
Colin de la Higuera
;
Frits Vaandrager
会议名称:
《International Conference on Language and Automata Theory and Applications》
|
2019年
关键词:
Grammatical inference;
k-Testable languages;
Union of languages;
Galois connection;
62.
Regular Matching and Inclusion on Compressed Tree Patterns with Context Variables
机译:
带有上下文变量的压缩树模式的常规匹配和包含
作者:
Iovka Boneva
;
Joachim Niehren
;
Momar Sakho
会议名称:
《International Conference on Language and Automata Theory and Applications》
|
2019年
关键词:
Computational complexity;
Patterns;
Trees;
Tree languages and tree automata;
63.
Rule-Based Unification in Combined Theories and the Finite Variant Property
机译:
组合理论中的基于规则的统一和有限变型性质
作者:
Ajay K. Eeralla
;
Serdar Erbatur
;
Andrew M. Marshall
;
Christophe Ringeissen
会议名称:
《International Conference on Language and Automata Theory and Applications》
|
2019年
关键词:
Term rewriting;
Unification;
Combination;
Forward-closure;
64.
Extensions of the Caucal Hierarchy?
机译:
考卡尔等级制度的延伸?
作者:
Pawel Parys
会议名称:
《International Conference on Language and Automata Theory and Applications》
|
2019年
关键词:
Caucal hierarchy;
Boundedness;
WMSO+U logic;
65.
Generalized Register Context-Free Grammars
机译:
广义寄存器无背景语法
作者:
Ryoma Senda
;
Yoshiaki Takata
;
Hiroyuki Seki
会议名称:
《International Conference on Language and Automata Theory and Applications》
|
2019年
66.
Automata over Infinite Sequences of Reals
机译:
自动序列的真实序列
作者:
Klaus Meer
;
Ameen Naif
会议名称:
《International Conference on Language and Automata Theory and Applications》
|
2019年
关键词:
Automata and logic;
Real number computations;
67.
State Complexity of Pseudocatenation
机译:
伪催化的状态复杂性
作者:
Lila Kari
;
Timothy Ng
会议名称:
《International Conference on Language and Automata Theory and Applications》
|
2019年
68.
Bounded Automata Groups are co-ETOL
机译:
有界自动机组是共同etol
作者:
Alex Bishop
;
Murray Elder
会议名称:
《International Conference on Language and Automata Theory and Applications》
|
2019年
关键词:
Formal language theory;
ETOL language;
Check-stack pushdown automaton;
Bounded automata group;
Co-word problem;
69.
Efficient Symmetry Breaking for SAT-Based Minimum DFA Inference
机译:
基于SAT的最小DFA推理的高效对称性断开
作者:
Ilya Zakirzyanov
;
Antonio Morgado
;
Alexey Ignatiev
;
Vladimir Ulyantsev
;
Joao Marques-Silva
会议名称:
《International Conference on Language and Automata Theory and Applications》
|
2019年
关键词:
DFA inference;
Boolean satisfiability;
Symmetry breaking;
70.
Complexity of Regex Crosswords
机译:
正则表达式填字游戏的复杂性
作者:
Stephen Fenner
;
Daniel Pade
会议名称:
《International Conference on Language and Automata Theory and Applications》
|
2019年
关键词:
Complexity;
Regular expressions;
Regex crossword;
Picture language;
NP-complete;
71.
On the Maximum Number of Distinct Palindromic Sub-arrays
机译:
在最大数量的不同的回文亚阵列
作者:
Kalpana Mahalingam
;
Palak Pandoh
会议名称:
《International Conference on Language and Automata Theory and Applications》
|
2019年
关键词:
Combinatorics on words;
Two-dimensional words;
2D palindromes;
Maximum palindromes;
72.
Regular Matching and Inclusion on Compressed Tree Patterns with Context Variables
机译:
定期匹配和包含上下文变量的压缩树模式
作者:
Iovka Boneva
;
Joachim Niehren
;
Momar Sakho
会议名称:
《International Conference on Language and Automata Theory and Applications》
|
2019年
关键词:
Computational complexity;
Patterns;
Trees;
Tree languages and tree automata;
73.
Orbits of Abelian Automaton Groups
机译:
阿贝尔自动机组的轨道
作者:
Tim Becker
;
Klaus Sutner
会议名称:
《International Conference on Language and Automata Theory and Applications》
|
2019年
关键词:
Automaton groups;
Embedding;
Number field;
Orbits;
Rational relation;
Classification;
74.
From Words to Graphs, and Back
机译:
从单词到图形,然后回来
作者:
Vadim Lozin
会议名称:
《International Conference on Language and Automata Theory and Applications》
|
2019年
75.
Palindromic Subsequences in Finite Words
机译:
有限话语中的回文后术语
作者:
Clemens Mullner
;
Andrew Ryzhikov
会议名称:
《International Conference on Language and Automata Theory and Applications》
|
2019年
关键词:
Palindrome;
Antipalindrome;
Circular words;
Subsequences;
76.
Extensions of the Caucal Hierarchy?
机译:
小学层次结构的延伸?
作者:
Pawel Parys
会议名称:
《International Conference on Language and Automata Theory and Applications》
|
2019年
关键词:
Caucal hierarchy;
Boundedness;
WMSO+U logic;
77.
Efficient Representation and Counting of Antipower Factors in Words
机译:
言语中的高效表示和计数
作者:
Tomasz Kociumaka
;
Jakub Radoszewski
;
Wojciech Rytter
;
Juliusz Straszynski
;
Tomasz Walen
;
Wiktor Zuba
会议名称:
《International Conference on Language and Automata Theory and Applications》
|
2019年
关键词:
Antipower;
α-gapped repeat;
Run (maximal repetition);
78.
Generalized Predictive Shift-Reduce Parsing for Hyperedge Replacement Graph Grammars
机译:
超级特钢替代图语法的广义预测移位减少解析
作者:
Berthold Hoffmann
;
Mark Minas
会议名称:
《International Conference on Language and Automata Theory and Applications》
|
2019年
关键词:
Hyperedge replacement grammar;
Graph parsing;
79.
Closure and Nonclosure Properties of the Compressible and Rankable Sets
机译:
可压缩和可等级集的闭合和非限位
作者:
Jackson Abascal
;
Lane A. Hemaspaandra
;
Shir Maimon
;
Daniel Rubery
会议名称:
《International Conference on Language and Automata Theory and Applications》
|
2019年
关键词:
Complexity theory;
Closure properties;
Compression;
Ranking;
Computability;
80.
Rule-Based Unification in Combined Theories and the Finite Variant Property
机译:
基于规则的组合理论和有限变体属性
作者:
Ajay K. Eeralla
;
Serdar Erbatur
;
Andrew M. Marshall
;
Christophe Ringeissen
会议名称:
《International Conference on Language and Automata Theory and Applications》
|
2019年
关键词:
Term rewriting;
Unification;
Combination;
Forward-closure;
81.
Deterministic Biautomata and Subclasses of Deterministic Linear Languages
机译:
确定性线性语言的确定性双重肿瘤与亚类
作者:
Galina Jiraskova
;
Ondrej Klima
会议名称:
《International Conference on Language and Automata Theory and Applications》
|
2019年
82.
Logic and Rational Languages of Scattered and Countable Series-Parallel Posets
机译:
散射和可数串联平行POSETS的逻辑和合理语言
作者:
Amazigh Amrane
;
Nicolas Bedon
会议名称:
《International Conference on Language and Automata Theory and Applications》
|
2019年
关键词:
Automata and logic;
Transfinite N-free posets;
Series-parallel posets;
Series-parallel rational languages;
Branching automata;
Monadic second-order logic;
Presburger arithmetic;
83.
On Varieties of Ordered Automata
机译:
关于有序自动机的品种
作者:
Ondrej Klima
;
Libor Polak
会议名称:
《International Conference on Language and Automata Theory and Applications》
|
2019年
关键词:
Algebraic language theory;
Ordered automata;
84.
Modern Aspects of Complexity Within Formal Languages
机译:
正式语言中复杂性的现代方面
作者:
Henning Fernau
会议名称:
《International Conference on Language and Automata Theory and Applications》
|
2019年
关键词:
String problems;
Finite automata;
Context-free grammars;
Multivariate analysis;
Fixed-parameter tractability;
Fine-grained complexity;
85.
Transformation of Petri Nets into Context-Dependent Fusion Grammars
机译:
Petri网转化为上下文依赖性融合语法
作者:
Hans-Jorg Kreowski
;
Sabine Kuske
;
Aaron Lye
会议名称:
《International Conference on Language and Automata Theory and Applications》
|
2019年
86.
Toroidal Codes and Conjugate Pictures
机译:
环形代码和共轭图片
作者:
Marcella Anselmo
;
Maria Madonia
;
Carla Selmi
会议名称:
《International Conference on Language and Automata Theory and Applications》
|
2019年
关键词:
Two-dimensional languages;
Circular codes;
Conjugacy;
87.
A Note with Computer Exploration on the Triangle Conjecture
机译:
三角形猜想上有计算机探索的注释
作者:
Christophe Cordero
会议名称:
《International Conference on Language and Automata Theory and Applications》
|
2019年
关键词:
Codes;
Triangle conjecture;
Commutative equivalence conjecture;
88.
Geometrical Closure of Binary V_(3/2) Languages
机译:
二元v_(3/2)语言的几何关闭
作者:
Jean-Philippe Dubernard
;
Giovanna Guaiana
;
Ludovic Mignot
会议名称:
《International Conference on Language and Automata Theory and Applications》
|
2019年
关键词:
Regular language;
Geometrical language;
Regular expression;
Straubing-Therien hierarchy;
89.
An Oracle Hierarchy for Small One-Way Finite Automata
机译:
小单向有限自动机的Oracle层次结构
作者:
M. Anabtawi
;
S. Hassan
;
C. Kapoutsis
;
M. Zakzok
会议名称:
《International Conference on Language and Automata Theory and Applications》
|
2019年
90.
Recurrence in Multidimensional Words
机译:
多维词的复发
作者:
Emilie Charlier
;
Svetlana Puzynina
;
Elise Vandomme
会议名称:
《International Conference on Language and Automata Theory and Applications》
|
2019年
关键词:
Uniform recurrence;
Multidimensional words;
Multidimensional morphisms;
91.
Tight Bounds on the Minimum Size of a Dynamic Monopoly
机译:
动态垄断最小尺寸的紧张界限
作者:
Ahad N. Zehmakan
会议名称:
《International Conference on Language and Automata Theory and Applications》
|
2019年
关键词:
Dynamic monopoly;
Bootstrap percolation;
Threshold model;
Percolating set;
Target set selection;
92.
Observation and Interaction
机译:
观察和互动
作者:
Edward A. Lee
会议名称:
《International Conference on Language and Automata Theory and Applications》
|
2019年
关键词:
Zero-knowledge proof;
Causal reasoning;
Bisimulation;
Randomized controlled trials;
93.
Learning Unions of k-Testable Languages
机译:
学习工会k可测试语言
作者:
Alexis Linard
;
Colin de la Higuera
;
Frits Vaandrager
会议名称:
《International Conference on Language and Automata Theory and Applications》
|
2019年
关键词:
Grammatical inference;
K-Testable languages;
Union of languages;
Galois connection;
94.
Decidability of Sensitivity and Equicontinuity for Linear Higher-Order Cellular Automata
机译:
线性高阶蜂窝自动机的敏感性和等式的可解密性
作者:
Alberto Dennunzio
;
Enrico Formenti
;
Luca Manzoni
;
Luciano Margara
;
Antonio E. Porreca
会议名称:
《International Conference on Language and Automata Theory and Applications》
|
2019年
95.
Syntactic View of Sigma-Tau Generation of Permutations
机译:
Sigma-Tau生成排列的句法视图
作者:
Wojciech Rytter
;
Wiktor Zuba
会议名称:
《International Conference on Language and Automata Theory and Applications》
|
2019年
96.
Nonuniform Families of Polynomial-Size Quantum Finite Automata and Quantum Logarithmic-Space Computation with Polynomial-Size Advice
机译:
多项式量子的非均匀系列有限自动机和Quantum对数空间计算,具有多项式尺寸建议
作者:
Tomoyuki Yamakami
会议名称:
《International Conference on Language and Automata Theory and Applications》
|
2019年
关键词:
Quantum finite automata;
State complexity;
Quantum Turing machine;
Bounded-error probability;
Quantum advice;
97.
The Range of State Complexities of Languages Resulting from the Cut Operation
机译:
剪切操作导致语言的状态复杂性范围
作者:
Markus Holzer
;
Michal Hospodar
会议名称:
《International Conference on Language and Automata Theory and Applications》
|
2019年
98.
Equivalence Checking of Prefix-Free Transducers and Deterministic Two-Tape Automata
机译:
前缀传感器和确定性双磁带自动机的等价检查
作者:
Vladimir A. Zakharov
会议名称:
《International Conference on Language and Automata Theory and Applications》
|
2019年
关键词:
Transducer;
Two-tape automaton;
Equivalence checking;
Prefix-free language;
Language equation;
Decision procedure;
99.
Reshaping the Context-Free Model: Linguistic and Algorithmic Aspects
机译:
重塑无论如何模型:语言和算法方面
作者:
Eli Shamir
会议名称:
《International Conference on Language and Automata Theory and Applications》
|
2018年
100.
Sliding Window Algorithms for Regular Languages
机译:
用于常规语言的滑动窗口算法
作者:
Moses Ganardi
;
Danny Hucke
;
Markus Lohrey
会议名称:
《International Conference on Language and Automata Theory and Applications》
|
2018年
关键词:
Automata theory;
Streaming algorithms Sliding window algorithms;
Regular languages;
上一页
1
2
3
4
5
6
下一页
意见反馈
回到顶部
回到首页