18 citations · 34 across the 4 of their papers we have counts for
1 paper · 1 filter
Simone Bova, Hubie Chen, Matthew Valeriote
We study the expression complexity of two basic problems involving the comparison of primitive positive formulas: equivalence and containment. In particular, we study the complexit…