![](/img/cover-not-exists.png)
Reachability Is in DynFO
Datta, Samir, Kulkarni, Raghav, Mukherjee, Anish, Schwentick, Thomas, Zeume, ThomasVolume:
65
Language:
english
Journal:
Journal of the ACM
DOI:
10.1145/3212685
Date:
August, 2018
File:
PDF, 524 KB
english, 2018