中国机械工程学会生产工程分会知识服务平台

会议文集


文集名Language and Automata Theory and Applications
会议名12th International Conference on Language and Automata Theory and Applications (LATA 2018)
中译名《第十二届国际语言与自动机理论及应用会议》
机构Czech Technical University
会议日期April 9-11, 2018
会议地点Ramat Gan, Israel
出版年2018
馆藏号326238


题名作者出版年
Constraint Satisfaction Problems: Complexity and AlgorithmsAndrei A. Bulatov2018
Sliding Window Algorithms for Regular LanguagesMoses Ganardi; Danny Hucke; Markus Lohrey2018
Underlying Principles and Recurring Ideas of Formal GrammarsAlexander Okhotin2018
Reshaping the Context-Free Model: Linguistic and Algorithmic AspectsEli Shamir2018
Formal Languages over GF(2)Ekaterina Bakinova; Artem Basharin; Igor Batmanov; Konstantin Lyubort; Alexander Okhotin; Elizaveta Sazhneva2018
Event-Clock Nested AutomataLaura Bozzelli; Aniello Murano; Adriano Peron2018
On the Synchronization of Planar AutomataJ. Andres Montoya; Christian Nolasco2018
Descriptional and Computational Complexity of the Circuit Representation of Finite AutomataMaris Valdats2018
Disturbance Decoupling in Finite AutomataAlexey Zhirabok; Alexey Shumsky2018
Default Logic and Bounded TreewidthJohannes K. Fichte; Markus Hecher; Irina Schindler2018
A General Class of Monoids Supporting Canonisation and Minimisation of (Sub)sequential TransducersStefan Gerdjikov2018
Deciding Regular Intersection Emptiness of Complete Problems for PSPACE and the Polynomial HierarchyDemen Guler; Andreas Krebs; Klaus-Jorn Lange; Petra Wolf2018
Learners Based on TransducersSanjay Jain; Shao Ning Kuek; Eric Martin; Frank Stephan2018
Model Learning as a Satisfiability Modulo Theories ProblemRick Smetsers; Paul Fiterau-Brostean; Frits Vaandrager2018
Analytic Combinatorics of Lattice Paths with Forbidden Patterns: Enumerative AspectsAndrei Asinowski; Axel Bacher; Cyril Banderier; Bernhard Gittenberger2018
Bubble-Flip - A New Generation Algorithm for Prefix Normal WordsFerdinando Cicalese; Zsuzsanna Liptak; Massimiliano Rossi2018
Permutations Sorted by a Finite and an Infinite Stack in SeriesMurray Elder; Yoong Kuan Goh2018
On Periodicity Lemma for Partial WordsTomasz Kociumaka; Jakub Radoszewski; Wojciech Rytter; Tomasz Walen2018
Measuring Closeness Between Cayley Automatic Groups and Automatic GroupsDmitry Berdinsky; Phongpitak Trakuldit2018
Pomsets and Unfolding of Reset Petri NetsThomas Chatain; Maurice Comlan; David Delfieu; Loig Jezequel; Olivier H. Roux2018
12



国家科技图书文献中心  全球文献资源网  京ICP备05055788号-26  京公网安备11010202008970号  机械工业信息研究院 2018-2024