The following pages link to Strong order equivalence (Q854968):
Displaying 5 items.
- Complexity results for answer set programming with bounded predicate arities and implications (Q2426101) (← links)
- Strong equivalence of qualitative optimization problems (Q2838231) (← links)
- (Q4847785) (← links)
- Fertility, Strong Fertility, and Postorder Wilf Equivalence (Q5109059) (← links)
- Equivalences in Answer-Set Programming by Countermodels in the Logic of Here-and-There (Q5504650) (← links)