Ein prägnantes Sammelwerk aus dem LFCS‑Symposium, das aktuelle Erkenntnisse zu logischen Modellen, formalen Sprachen und algorithmischer Komplexität zusammenfasst und sowohl Studierende als auch Fachleute anspricht.