This beginning graduate textbook describes both recent achievements and classical results
of computational complexity theory. Requiring essentially no background apart from …

The spectral gap—the energy difference between the ground state and first excited state of a
system—is central to quantum many-body physics. Many challenging open problems, such …

Among the many approaches to formal reasoning about programs, Dynamic Logic enjoys
the singulax aclv~ ntage of being strongly related to classical logic. Its variants constitute …

Philosophy and Computing explores each of the following areas of technology: the digital
revolution; the computer; the Internet and the Web; CD-ROMs and Mulitmedia; databases …

The Levenshtein distance between two words is the minimal number of insertions, deletions
or substitutions that are needed to transform one word into the other. Levenshtein automata …

Incorporating intelligence in industrial systems can help to increase productivity, cut-off
production costs, and to improve working conditions and safety in industrial environments …

Graph algebras possess the capacity to relate fundamental concepts of computer science,
combinatorics, graph theory, operations research, and universal algebra. They are used to …

The classical theory of deterministic automata is presented in terms of the notions of
homomorphism and bisimulation, which are the cornerstones of the theory of (universal) …

In these early years of the 21 st Century, researchers in the field of computing are delving
ever further into the new possibilities of the science and to the primary tools that form its …

The theory of finite automata on finite stings, infinite strings, and trees has had a dis
tinguished history. First, automata were introduced to represent idealized switching circuits …