Lück, Martin; Meier, Arne; Schindler, Irena
(Association for Computing Machinery, 2017)
We apply the concept of formula treewidth and pathwidth to computation tree logic, linear temporal logic, and the full branching time logic. Several representations of formulas as graphlike structures are discussed, and ...