Login / Signup
Kexu Wang
ORCID
Publication Activity (10 Years)
Years Active: 2019-2023
Publications (10 Years): 3
Top Topics
Polynomial Hierarchy
Top Venues
CoRR
Log. Methods Comput. Sci.
</>
Publications
</>
Kexu Wang
,
Shiguang Feng
,
Xishun Zhao
Capturing the polynomial hierarchy by second-order revised Krom logic.
Log. Methods Comput. Sci.
19 (3) (2023)
Shiguang Feng
,
Kexu Wang
,
Xishun Zhao
,
Yuping Shen
Capturing the polynomial hierarchy by second-order revised Krom logic.
CoRR
(2022)
Kexu Wang
,
Xishun Zhao
Logarithmic-Bounded Second-Order Quantifiers and Limited Nondeterminism.
CoRR
(2019)