Logo

Logic and Automata: History and Perspectives

Large book cover: Logic and Automata: History and Perspectives

Logic and Automata: History and Perspectives
by

Publisher: Amsterdam University Press
ISBN/ASIN: 9053565760
ISBN-13: 9789053565766
Number of pages: 737

Description:
Mathematical logic and automata theory are two scientific disciplines with a fundamentally close relationship. This volume covers 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.

Home page url

Download or read it online for free here:
Download link
(5.4MB, PDF)

Similar books

Book cover: Notes on Automata, Logics, Games and AlgebraNotes on Automata, Logics, Games and Algebra
by - Chennai Mathematical Institute
Contents: Regular Languages and Monoids; Languages via Logical Formulae; MSO to Regular Languages; EF Games and First-order Definability; Schutzenberger's Theorem; Alternating Automata; Buchi Automata; Buchi Games over Infinite Graphs; etc.
(4990 views)
Book cover: Mathematical Foundations of Automata TheoryMathematical Foundations of Automata Theory
by
Contents: Algebraic preliminaries; Semigroups and beyond; Languages and automata; Recognizable and rational sets; Green's relations and local theory; Profinite words; Varieties; Equations and languages; Algebraic characterisations; etc.
(4795 views)
Book cover: Tree Automata Techniques and ApplicationsTree Automata Techniques and Applications
by
This textbook presents the basics of tree automata, focusing on the operational aspects. It should appeal the reader who wants a simple presentation of the basics, and to see how some variations of tree automata provide a tool for difficult problems.
(10582 views)
Book cover: Exploring Discrete DynamicsExploring Discrete Dynamics
by - Luniver Press
''Exploring Discrete Dynamics'' is a comprehensive guide to studying cellular automata and discrete dynamical networks with the classic software Discrete Dynamics Laboratory (DDLab), widely used in research and education ...
(2904 views)