Logic, Logic & Foundations of Mathematics, Computer Mathematics, General & Miscellaneous Computing, Mathematical Programming & Operations Research, Machine Theory

Logic And Automata

Name: Logic And Automata
Author: Jorg Flum
ISBN: 9789053565766

by Jorg Flum

Available on Bookshop Write a review

Books.org participates in affiliate programs including Bookshop.org and the Amazon Services LLC Associates Program. We may earn a commission from qualifying purchases made through links on this page, at no additional cost to you.

Overview

Mathematical logic and automata theory are two scientific disciplines with a close relationship that is not only fundamental for many theoretical results but also forms the basis of coherent methodology for the verification and synthesis of computing systems. The authors take the occasion of the 60th birthday of Wolfgang Thomas to present a tour d'horizon on automata theory and logic. The twenty papers assembled in this volume cover many different facets of logic and automata theory, emphaisize the connections to other disciplines such as complexity theory, games, algorithms and semigroup theory and discuss current challenges in this field.

Synopsis

Mathematical logic and automata theory are two scientific disciplines with a fundamentally close relationship. The authors of Logic and Automata take the occasion of the sixtieth birthday of Wolfgang Thomas to present a tour d’horizon of automata theory and logic. The twenty papers in this volume cover 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.

About the Author, Jorg Flum

Jörg Flum is professor of mathematical logic at the University of Freiberg. Erich Grädel is professor of mathematical logic at the University of Aachen. Thomas Wilke is professor of computer science at the University of Kiel.