Title: Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky
Description: This Festschrift volume, published in honor of Samson Abramsky, contains contributions written by some of his colleagues, former students, and friends. In celebration of the 60th birthday of Samson Abramsky, a conference was held in Oxford, UK, during May 28-30, 2010. The papers in this volume represent his manifold contributions to semantics, logic, games, and quantum mechanics.
Subjects: Mathematical Logic and Formal Languages, Software engineering, Algorithm Analysis and Problem Complexity, Logic design, Logics and Meanings of Programs, Computation by Abstract Devices, Computer science, Programming Languages, Compilers, Interpreters, Computer software