A Timecop's Work Is Harder Than You Think

Nils Morawietz, Carolin Rehs, Mathias Weller. A Timecop's Work Is Harder Than You Think. In Javier Esparza, Daniel Král', editors, 45th International Symposium on Mathematical Foundations of Computer Science, MFCS 2020, August 24-28, 2020, Prague, Czech Republic. Volume 170 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020. [doi]

Abstract

Abstract is missing.