Pages that link to "Item:Q5286918"
From MaRDI portal
The following pages link to Partial deduction for structured logic programming (Q5286918):
Displaying 11 items.
- Transformations of CLP modules (Q671648) (← links)
- Partial-predicate logic in computer science (Q1079560) (← links)
- Mints type deductive calculi for logic programming (Q1192340) (← links)
- Partial instantiation methods for inference in first-order logic (Q1610676) (← links)
- An efficient reasoning method on logic programming using partial evaluation in vector spaces (Q3382822) (← links)
- (Q3477997) (← links)
- Partial deduction of updateable definite logic programs (Q4289930) (← links)
- Partial deduction in disjunctive logic programming (Q4365083) (← links)
- (Q4373553) (← links)
- An assumption-based truth maintenance system dealing with non-ground justifications (Q4880539) (← links)
- Conjunctive partial deduction: foundations, control, algorithms, and experiments (Q4939538) (← links)