29th EACSL Annual Conference on Computer Science Logic CSL 2021, January 25–28, 2021, Ljubljana, Slovenia (Virtual Conference) - Baier, Christel; Goubault-Larrecq, Jean (Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, 2021)
Keywords: Mathematische Logik; Logik; Theoretische Informatik; Computational logic; Logische Programmierung; Programmierlogik; Konferenzschrift