Pages that link to "Item:Q2900525"
From MaRDI portal
The following pages link to An Equational Approach to Logic Programming (Q2900525):
Displaying 15 items.
- Theory of semi-instantiation in abstract argumentation (Q528522) (← links)
- Programming in equational logic: Beyond strong sequentiality (Q689097) (← links)
- A rationale for conditional equational programming (Q915429) (← links)
- Incremental constraint satisfaction for equational logic programming (Q1367535) (← links)
- Translation of logic programs into functional fixpoint equations (Q1823723) (← links)
- A goal-type driven method of solving Horn logic with equality (Q2277873) (← links)
- Rewriting of imperative programs into logical equations (Q2486260) (← links)
- Unification modulo an equality theory for equational logic programming (Q2639627) (← links)
- (Q3490963) (← links)
- (Q3821636) (← links)
- (Q3974854) (← links)
- (Q4229811) (← links)
- (Q4345010) (← links)
- (Q4430633) (← links)
- (Q5714443) (← links)