arne-meier documents

The complexity of satisfiability for fragments of hybrid logic—Part I
Documents The complexity of satisfiability for fragments of hybrid logic—Part I
The Complexity of Satisfiability for Fragments of CTL and CTL⋆
Documents The Complexity of Satisfiability for Fragments of CTL and CTL⋆