Tab Article
The automata theory and logic in theoretical computer science is critical for the development of theoretical computer science. The objective of the book is to propose models of mathematical mechanisms that formalize calculation methods, covering many different facets of logic and automata theory, emphasizing the connections to other disciplines such as games, algorithms, and semigroup theory, as well as discussing current challenges in the field.
