Pages that link to "Item:Q4915214"

The following pages link to Complexity and expressive power of second‐order extended Horn logic (Q4915214):

Displaying 1 item.

• Capturing the polynomial hierarchy by second-order revised Krom logic (Q6135775) (← links)