Title: Reachability Problems
Subjects: Mathematical Logic and Formal Languages, Software engineering, Algorithm Analysis and Problem Complexity, Logic design, Logics and Meanings of Programs, Computation by Abstract Devices, Computer science, Programming Languages, Compilers, Interpreters, Computer software, Numerical analysis, Algorithms, Computer systems, Congresses, Verification, Numerical Analysis, Computer-Assisted