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...
share
research
∙
07/15/2022
