Automata Theory and Logic

ISBN: 9781984601742 出版年：2018 页码：353 Gerard Prudhomme Bibliotex

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.