Please note: In order to keep Hive up to date and provide users with the best features, we are no longer able to fully support Internet Explorer. The site is still available to you, however some sections of the site may appear broken. We would encourage you to move to a more modern browser like Firefox, Edge or Chrome in order to experience the site fully.

Logic and Automata : History and Perspectives, Paperback / softback Book

Logic and Automata : History and Perspectives Paperback / softback

Edited by Erich Gradel, Joerg Flum, Thomas Wilke

Part of the Texts in Logic and Games series

Paperback / softback

Description

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.

Information

Information