The following pages link to Paul A. Strooper (Q1121799):
Displayed 18 items.
- (Q236759) (redirect page) (← links)
- Discovering inequality conditions in the analytic solution of optimization problems (Q1121800) (← links)
- (Q1353926) (redirect page) (← links)
- Describing symmetrical structures in logic. (Q1353928) (← links)
- Don't Care Non-determinism in Logic Program Refinement (Q2841262) (← links)
- Refinement of Higher-Order Logic Programs (Q3079921) (← links)
- (Q4250656) (← links)
- (Q4370272) (← links)
- (Q4412494) (← links)
- (Q4421869) (← links)
- A refinement calculus for logic programs (Q4452605) (← links)
- (Q4536449) (← links)
- (Q4790664) (← links)
- A framework for table driven testing of Java classes (Q4791076) (← links)
- CLP(ℛ) as a general finite element model definition language (Q4861033) (← links)
- Calculating modules in contextual logic program refinement (Q5437648) (← links)
- Program Development in Computational Logic (Q5712544) (← links)
- Refinement and state machine abstraction (Q5958757) (← links)