The following pages link to Roland N. Bol (Q1177922):
Displaying 4 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)
