Logic and Automata: History and Perspectives

Overview & Synopsis

This book gives a consolidated overview of the research results achieved in the Automata Theory, logics, and infinite games during the past 10 years. Special emphasis is placed on coherent style, complete coverage of all relevant topics, motivation, examples, justification of constructions, and exercises.

Advertisement
SPONSOR CONTENT
Indexed from repository: FreeComputerBooks.com (freecomputerbooks.com)
Loading document from verified source...
Keyboard Shortcuts: ← / → for pages • + / - for zoom • 0 to fit width Powered by Mozilla PDF.js v3.11

Document Information

Document Title Logic and Automata: History and Perspectives
Author / Organization Jorg Flum (Editor), Erich Gradel (Editor), Thomas Wilke (Editor)
Subject & Discipline Mathematical Logic - Set Theory, Model Theory, Computability, etc, Theory of Computation and Computing, History of Computing and Computers, Discrete Mathematics
Categories Mathematical Logic - Set Theory, Model Theory, Computability, etc
Publication Year 2008
ISBN 9053565760
Resource Verification Access Restricted / Protected Host
Alternative Mirrors & Links
Original Host Website FreeComputerBooks.com (freecomputerbooks.com)
File Format application/pdf (Portable Document Format)
Language ENGLISH
Catalog ID DOC-73337
Original Source Link Visit Source Page on freecomputerbooks.com »
Commercial / Print Edition

Prefer a Physical Book or Kindle Edition?

Logic and Automata: History and Perspectives • Print Edition
As an Amazon Associate, MainReads earns from qualifying purchases.