-
LOGIC-IN
-
Research
-
LogiDAC
Publikationen
ICDT 2015, March 23-27, 2015, Brussels, Belgium . 2015, 60–75. URL , DOI Thomas Zeume and Thomas Schwentick. On the quantifier-free dynamic complexity of Reachability . Inf. Comput. 240:108–129, 2015. URL [...] ). Developments in Language Theory: 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings. . 2015, 203–214. DOI Thomas Schwentick, Nils Vortmeier and Thomas Zeume. Static [...] 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, Thomas …