Table of Contents: “... Factorizations -- String attractors of fixed points of k-bonacci-like morphisms -- Magic Numbers in Periodic Sequences -- Dyck Words, Pattern Avoidance, and Automatic Sequences -- Rudin-Shapiro Sums Via Automata Theory and Logic -- Automaticity and Parikh-collinear...”

Full text 

Table of Contents: “... and Permutations and Combinations -- 9. A Short History of Logic -- 10. Propositional and Predicate Logic -- 11. Advanced Topics in Logic -- 12. Language Theory and Semantics -- 13. Automata Theory -- 14. Computability and Decidability -- 15. Software Reliability...”

Full text 

Table of Contents: “... -- Verifier's Dilemma in Ethereum Blockchain: A Quantitative Analysis -- Comparing Statistical and Analytical Routing Approaches for Delay-Tolerant Networks -- Automata Theory and Applications -- Mirrors and Memory in Quantum Automata -- Monte Carlo Tree Search...”

Full text 

Table of Contents: “... Coefficient using Sample Complexity Analysis -- Automata Theory and Formal Languages -- Binary completely reachable automata -- Conelikes and Ranker Comparisons -- The Net Automaton of a Rational Expression -- Embedding arbitrary Boolean circuits into fungal...”

Full text 

Full text 

Full text 

Table of Contents: “...On 25 Years of CIAA Through the Lens of Data Science -- Manipulation of Regular Expressions Using Derivatives: an Overview -- How to Settle the ReDoS Problem: Back to the Classical Automata Theory -- Ordered Context-Free Grammars -- Symbolic Weighted...”

Full text 

Full text 

Full text 

Table of Contents: “...1. Mathematics in Civilization -- 2. Sets, Relations and Functions -- 3. Number Theory -- 4. Mathematical Induction and Recursion -- 5. Sequences, Series and Permutations and Combinations -- Algebra -- 6. Automata Theory -- 7. Matrix Theory -- 8. Graph...”

Full text 

Table of Contents: “...Models of computation -- Formal languages and automata theory -- Computational complexity and cryptography -- Logic -- Design and analysis of algorithms -- Randomness, geometry and discrete structures -- Theory and algorithms for application domains....”

Full text 

Table of Contents: “...Invited Paper -- Linear Temporal Logic ­ - From Infinite to Finite Horizon -- Automata Theory -- Determinization and Limit-determinization of Emerson-Lei automata -- Automatic discovery of fair paths in infinite-state transition systems -- Certifying DFA...”

Full text 

Full text 

Table of Contents: “...1. Introduction to Logic -- 2. First-order Logic -- 3. Non-classical Logics -- 4. Automata Theory and Formal Languages -- 5. Turing Machines and Computability -- 6. Logic is Computation....”

Full text 

Table of Contents: “...Cellular Automata Theory and Implementation -- Cellular Automata Dynamics and Synchronization -- Asynchronous Cellular Automata and Asynchronous Discrete Models -- Crowds, Trac and Cellular Automata -- Agent-Based Simulation and Cellular Automata....”

Full text 

Full text 

Full text 

Full text 

Full text 

Table of Contents: “...Learning Weighted Automata -- More Than 1700 Years of Word Equations -- An Algebraic Geometric Approach to Multidimensional Words -- Why We Need Semirings in Automata Theory -- Unbordered Pictures: Properties and Construction -- Effective Invariant...”

Full text