-
LOGIC-IN
-
Forschung
-
Logic and Computing: Databases, Automata, Complexity
Publikationen
Directions for Principles of Data Management (Dagstuhl Perspectives Workshop 16151) . Dagstuhl Manifestos 7(1):1–29, 2018. DOI Dexter Kozen and Thomas Schwentick. The Ackermann Award 2018 . In Dan R Ghica and [...] and Achim Jung (eds.). 27th EACSL Annual Conference on Computer Science Logic, CSL 2018, September 4-7, 2018, Birmingham, UK 119. 2018, 1:1–1:5. DOI Gaetano Geck, Artur Ljulin, Sebastian Peter, Jonas Schmidt [...] Dynamic Programs . In 24th EACSL Annual Conference on Computer Science Logic, CSL 2015, September 7-10, 2015, Berlin, Germany . 2015, 308–324. URL , DOI Samir Datta, Raghav Kulkarni, Anish Mukherjee, …