The Reachability Problem over Infinite Graphs

Wolfgang Thomas. The Reachability Problem over Infinite Graphs. In Anna E. Frid, Andrey Morozov, Andrey Rybalchenko, Klaus W. Wagner, editors, Computer Science - Theory and Applications, Fourth International Computer Science Symposium in Russia, CSR 2009, Novosibirsk, Russia, August 18-23, 2009. Proceedings. Volume 5675 of Lecture Notes in Computer Science, pages 12-18, Springer, 2009. [doi]

Abstract

Abstract is missing.