research
∙
07/19/2022
Capturing the polynomial hierarchy by second-order revised Krom logic
We study the expressive power and complexity of second-order revised Kro...
research
∙
12/09/2019