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: Cellular AutomataCellular Automata
- Wikibooks
This book aims to become a graduate to postgraduate level schoolbook on cellular automata. The book is divided into two parts, covering formalization, well known algorithms, accepted elegant proofs, FAQ, examples, web resources, etc...
(7721 views)
Book cover: Introduction to Quantum Cellular AutomataIntroduction to Quantum Cellular Automata
by - arXiv
In this text the authors attempt to provide a useful introduction to quantum cellular automata from a computing perspective. For clarity and accessibility they provide a brief overview of both quantum computing and classical cellular automata.
(10052 views)
Book cover: Cellular Automata: Simplicity Behind ComplexityCellular Automata: Simplicity Behind Complexity
by - InTech
Cellular automata make up a class of discrete dynamical systems, which are a core subject in the sciences of complexity due to their conceptual simplicity, easiness of implementation for computer simulation, and their amazingly complex behavior.
(10385 views)
Book cover: Automata and Rational ExpressionsAutomata and Rational Expressions
by - arXiv.org
From the table of contents: A new look at Kleene's theorem; Rationality and recognisability (Rational expressions); From automata to expressions; From expressions to automata; Changing the monoid; Introducing weights; Notes; References.
(5806 views)