FINGO: Endliche Graphautomaten treffen dynamische Logik

FINGO: Finite Graph Operating Automata Meet Dynamic Logics

Bartosz Bednarczyk (ORCID: 0000-0002-8267-7554)

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

Forschungsstätte(n)
Internationale Projektbeteiligte
  • Witold Charatonik, University of Wroclaw - Polen