The following pages link to (Q3486859):
Displaying 10 items.
- Translating propositional extended conjunctions of Horn clauses into Boolean circuits (Q964389) (← links)
- Extending Horn clause logic with implication goals (Q1186427) (← links)
- Smallest horn clause programs (Q3129505) (← links)
- (Q4040341) (← links)
- (Q4205425) (← links)
- (Q4244295) (← links)
- (Q4492860) (← links)
- (Q4499256) (← links)
- (Q4812982) (← links)
- Logic Based Program Synthesis and Transformation (Q5713940) (← links)