The following pages link to Roland N. Bol (Q1177922):
Displaying 14 items.
- An analysis of loop checking mechanisms for logic programs (Q1177923) (← links)
- Generalizing completeness results for loop checks in logic programming (Q1199926) (← links)
- (Q1355747) (redirect page) (← links)
- Formalizing process algebraic verifications in the calculus of constructions (Q1355748) (← links)
- Tabulated resolution for the well-founded semantics (Q3841100) (← links)
- Loop checking and negation (Q4036285) (← links)
- (Q4036587) (← links)
- (Q4255547) (← links)
- (Q4287491) (← links)
- Logic programming and negation: A survey (Q4305624) (← links)
- The meaning of negative premises in transition system specifications (Q4371690) (← links)
- (Q4518413) (← links)
- (Q4854006) (← links)
- Loop checking in partial deduction (Q5286916) (← links)
