1 citations · 4 across the 8 of their papers we have counts for
1 paper · 2 filters
F. Ferrarotti, W. Ren, J. M. Turull Torres
It follows from the famous Fagin's theorem that all problems in NP are expressible in existential second-order logic (ESO), and vice versa. Indeed, there are well-known ESO charact…