Pages that link to "Item:Q6160501"
From MaRDI portal
The following pages link to Complexity of the problem of being equivalent to Horn formulas. II (Q6160501):
Displaying 5 items.
- On solving the equality problem in theories defined by Horn clauses (Q1085152) (← links)
- Complexity of the problem of being equivalent to Horn formulas (Q2145867) (← links)
- Copy complexity of Horn formulas with respect to unit read-once resolution (Q2235734) (← links)
- (Q4955310) (← links)
- Complexity of the problem of \(\forall \)-representation for sentences (Q6597851) (← links)