FINGO: Endliche Graphautomaten treffen dynamische Logik

Wissenschaftsdisziplinen

Informatik (70%); Mathematik (30%)

Keywords

• Automata Over Graphs,
• Decidability Of Computational Logics,
• Finite Satisfiability Problem,
• Mu-Calculus And Dynamic Logics,
• The Classical Decision Problem