Sponsored This site contains affiliate links for which we may receive compensation. More information
An anthology of cutting‑edge essays on formal systems, automata theory, and algorithmic complexity that honors Yuri Gurevich’s legacy, featuring fresh perspectives from leading researchers in logic and computation.