Reachability Problemsde Alain FinkelMateriasMathematical Logic and Formal LanguagesSoftware engineeringAlgorithm Analysis and Problem ComplexityLogic designLogics and Meanings of ProgramsComputation by Abstract DevicesComputer scienceProgramming Languages, Compilers, InterpretersComputer software