On the Quantifier-Free Dynamic Complexity of Reachability

Thomas Zeume, Thomas Schwentick. On the Quantifier-Free Dynamic Complexity of Reachability. In Krishnendu Chatterjee, Jiri Sgall, editors, Mathematical Foundations of Computer Science 2013 - 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings. Volume 8087 of Lecture Notes in Computer Science, pages 837-848, Springer, 2013. [doi]

Authors

Thomas Zeume

This author has not been identified. Look up 'Thomas Zeume' in Google

Thomas Schwentick

This author has not been identified. It may be one of the following persons: Look up 'Thomas Schwentick' in Google