Ein wissenschaftliches Werk aus dem neunten internationalen Workshop zur Rewriting‑Logik, das in Tallinn stattfand, bietet tiefe Einblicke in theoretische Konzepte und deren Einsatz bei der Modellierung komplexer Systeme sowie praktische Fallstudien für Informatiker und Mathematiker.