Programmaggregation mit algebraischen Entscheidungsdiagrammen

Frederik Jakob Gossen. Programmaggregation mit algebraischen Entscheidungsdiagrammen. In Steffen Hölldobler, editor, Ausgezeichnete Informatikdissertationen 2021. Volume D-22 of LNI, pages 61-70, GI, 2021. [doi]

Abstract

Abstract is missing.