Pages that link to "Item:Q1087023"
From MaRDI portal
The following pages link to Incorporating equality into logic programming via surface deduction (Q1087023):
Displaying 10 items.
- Equality and abductive residua for Horn clauses (Q689280) (← links)
- Conditional equational theories and complete sets of transformations (Q918541) (← links)
- Incorporating equality into logic programming via surface deduction (Q1087023) (← links)
- Narrowing vs. SLD-resolution (Q1105364) (← links)
- Horn equational theories and paramodulation (Q1824409) (← links)
- Kernel-LEAF: A logic plus functional language (Q2638759) (← links)
- (Q3716324) (← links)
- Automatic theorem proving. II (Q3793764) (← links)
- (Q4412859) (← links)
- (Q5688896) (← links)