Logic and Automata: History and Perspectives (Jorg Flum, et al)

 
0.0 (0)
Logic and Automata: History and Perspectives (Jorg Flum, et al)

This book provides a comprehensive account of the research findings made during the previous ten years in the theory of automata, logic, and infinite games.

Coherent language, thorough treatment of all pertinent subjects, inspiration, illustrations, justification of constructions, and exercises receive special attention.

Automata theory and mathematical logic are two scientific fields that are fundamentally connected. On the occasion of Wolfgang Thomas's 60th birthday, the authors of Logic and Automata provide a tour d'horizon of automata theory and logic. The twenty papers in this volume address a wide range of topics in logic and automata theory, with a focus on the linkages to other fields including games, algorithms, and semigroup theory as well as discussions of the field's present difficulties.

Ebook Details

Published
Published Date / Year
(July 15, 2008)
Hardcover
736 pages
eBook Format
PDF (737 pages, 5.4 MB)
ISBN-10
9053565760
ISBN-13
978-9053565766

Similar Programming & Computer Books

Dictionary of Programming Languages (Neal Ziring)
The Dictionary of Programming Languages is an online reference guide to computer coding techniques put together to educate and enhance your understanding of computer science history. Over 120 words...
Free as in Freedom: Richard Stallman's Crusade for Free Software (Sam Williams)
freely as in Richard Stallman, the man behind the GNU project, is profiled in Freedom along with the political, social, and economic history of the free software movement. It...
Designing Computers and Digital Systems using pdp 16 Register Transfer Modules (C. Gordon Bell, et al)
This is a classic free programming book from the era when pdp 16 registers were used in the design of computers. It was written by Gordon Bell, John Grason,...
A History of the Personal Computer: the People and the Technology (Roy A. Allan)
The history of the personal computer revolution in this free programming book is fascinating. We go into detail on early personal computing, the "first" personal computer, Intel's invention of...
A Technical History of Apple's Operating Systems (Amit Singh)
These documents cover a variety of operating systems that Apple has attempted to create as well as those that it has previously developed.
Retrograde - The Ultimate Guide to Pre-millennial PC Hardware (Ben Hardwidge)
With our free guide to retro PC hardware, you can go back in time to the Neolithic era of the 286, CGA graphics, and the earliest sound cards. ...
Cellular: An Economic and Business History of the International Mobile-Phone Industry (Daniel D. Garcia-Swartz, et al)
From the late 1970s to the present, charts the development of the global cellular industry. It took exceptional collaboration between businesses, governments, and industrial sectors for the mobile phone...
The Complexity of Boolean Functions (Ingo Wegener)
One of the most fascinating and crucial areas of theoretical computer science presently includes research on the difficulty of Boolean functions in non-uniform processing models. It directly relates to...
Logic and the Foundations of Game and Decision Theory (Giacomo Bonanno, et al)
The Foundations of Game Theory and Decision Making Logic The present collection provides a vibrant and comprehensive overview of a fascinating and quickly developing field, and theory is a...
An Architecture for Combinator Graph Reduction (Philip J. Koopman, Jr.)
The outcomes of research using an abstract machine and cache simulation for decreasing combinator graphs are provided. For similar types of combinator graphs on comparable types of hardware, the...

Others Programming Books by Amsterdam University Press

Logic and the Foundations of Game and Decision Theory (Giacomo Bonanno, et al)
The Foundations of Game Theory and Decision Making Logic The present collection provides a vibrant and comprehensive overview of a fascinating and quickly developing field, and theory is a...
Players Unleashed! Modding The Sims and the Culture of Gaming (Tanja Sihvonen)
The Sims, the best-selling game that lets users build homes and then control every element of daily life within them, has been available for ten years thanks to the...
The Sims, the best-selling game that lets users build homes and then control every element of daily life within them, has been available for ten years thanks to the...
Persuasive Gaming in Context (Teresa de la Hera, et al.)
The quick advancement of new communication technologies has made it easier for people to play digital games, which has led to the industry's explosive rise in recent decades. ...
Engines of Order: A Mechanology of Algorithmic Techniques (Bernhard Rieder)
Nowadays, software plays a significant role in daily life, and ranking, categorizing, and recommending algorithms are commonplace.
Discourses on Social Software (Jan van Eijck, et al)
Can computers help us with our societal issues? With Social Software Discourses It is suggested that it can by Jan Van Eijck and Rineke Verbrugge, who also give the...

User reviews

There are no user reviews for this listing.
Ratings
Rate this Book
Comments