8 citations · 66 across the 52 of their papers we have counts for
1 paper · 2 filters
Sebastian Siebertz, Alexandre Vigny
Tractability results for the model checking problem of logics yield powerful algorithmic meta theorems of the form: Every computational problem expressible in a logic L can be so…