The following pages link to Xishun Zhao (Q162005):
Displaying 5 items.
- Minimal False Quantified Boolean Formulas (Q5756555) (← links)
- More on bounding introspection in modal nonmonotonic logics (Q5925949) (← links)
- \(Y_C \Omega_{2n}\) are easy terms (Q5955931) (← links)
- Capturing the polynomial hierarchy by second-order revised Krom logic (Q6135775) (← links)
- Computationally hard problems for logic programs under answer set semantics (Q6636616) (← links)