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

会议文集


文集名Developments in Language Theory
会议名28th International Conference on Developments in Language Theory (DLT 2024)
中译名《第二十八届国际语言理论发展会议》
会议日期August 12-16, 2024
会议地点Gottingen, Germany
出版年2024
馆藏号353252


题名作者出版年
Word Equations, Constraints, and Formal LanguagesLaura Ciobanu2024
Polyregular Functions: Characterisations and RefutationsSandra Kiefer2024
Cellular Automata: From Black-and-White to High Gloss ColorMartin Kutrib; Andreas Malcher2024
Deciding Conjugacy of a Rational RelationC. Aiswarya; Amaldev Manuel; Saina Sunny2024
Logic and Languages of Higher-Dimensional AutomataAmazigh Amrane; Hugo Bazille; Uli Fahrenberg; Marie Fortin2024
Universal Rewriting Rules for the Parikh Matrix Injectivity ProblemIngyu Baek; Joonghyuk Hahn; Yo-Sub Han; Kai Salomaa2024
O_2 is a Multiple Context-Free Grammar: An Implementation-, Formalisation-Friendly ProofMarco B. Caminati2024
Cyclic Operator Precedence Grammars for Improved Parallel ParsingMichele Chiari; Dino Mandrioli; Matteo Pradella2024
On the Complexity and Approximability of Bounded Access Lempel Ziv CodingFerdinando Cicalese; Francesca Ugazio2024
How to Find Long Maximal Exact Matches and Ignore Short OnesTravis Gagie2024
The Pumping Lemma for Context-Free Languages is UndecidableHermann Gruber; Markus Holzer; Christian Rauch2024
Techniques for Showing the Decidability of the Boundedness Problem of Language AcceptorsOscar H. Ibarra; Ian McQuillan2024
Semidirect Product Decompositions for Periodic Regular LanguagesYusuke Inoue; Kenji Hashimoto; Hiroyuki Seki2024
Approximate Cartesian Tree Pattern MatchingSungmin Kim; Yo-Sub Han2024
Deterministic Pushdown Automata with Translucent Input LettersMartin Kutrib; Andreas Malcher; Carlo Mereghetti; Beatrice Palano; Priscilla Raucci; Matthias Wendlandt2024
Network Topologies for Parallel Communicating Finite Automata: Token-Ring and Token-BusPhilomena Moek2024
Finite Automata with Sets of Translucent WordsBenedek Nagy; Friedrich Otto2024
Careful Synchronization of One-Cluster AutomataJakub Ruszil2024
Verifying and Interpreting Neural Networks Using Finite AutomataMarco Salzer; Eric Alsmann; Florian Bruse; Martin Lange2024
Around Don's Conjecture for Binary Completely Reachable AutomataYinfeng Zhu2024



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