The following pages link to (Q3384904):
Displaying 5 items.
- Extending Horn clause logic with implication goals (Q1186427) (← links)
- Horn logic, search and satisfiability. A collection of papers in memory of Robert G. Jeroslow (Q1356203) (← links)
- On dual programs in co-logic programming and the Horn \({\mu}\)-calculus (Q2628297) (← links)
- (Q5875350) (← links)
- Reducing higher-order recursion scheme equivalence to coinductive higher-order constrained Horn clauses (Q6647302) (← links)