The following pages link to (Q4812982):
Displaying 9 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)
- Decidable subsets of open logic and an algorithm for R-calculus (Q2515454) (← links)
- Smallest horn clause programs (Q3129505) (← links)
- (Q3486859) (← links)
- On Bounded Database Schemes and Bounded Horn-Clause Programs (Q3777438) (← links)
- (Q4040341) (← links)
- (Q4783300) (← links)
- Case-free programs: An abstraction of definite horn programs (Q6488524) (← links)