The following pages link to Peter J. Robinson (Q736793):
Displaying 25 items.
- Reasoning about goal-directed real-time teleo-reactive programs (Q736794) (← links)
- Structure sharing for quantified terms: Fundamentals (Q911773) (← links)
- A functional logic for higher level reasoning about computation (Q1318281) (← links)
- The Qu-Prolog unification algorithm: formalisation and correctness (Q1349886) (← links)
- (Q3220621) (← links)
- (Q3317113) (← links)
- Multi-threaded Communicating Agents in Qu-Prolog (Q3623971) (← links)
- (Q3737436) (← links)
- (Q3780488) (← links)
- Efficient unification of quantified terms (Q3787472) (← links)
- (Q3955368) (← links)
- (Q4106217) (← links)
- Amicable orthogonal designs (Q4106218) (← links)
- (Q4111578) (← links)
- Using product designs to construct orthogonal designs (Q4119217) (← links)
- Concerning the existence and construction of orthogonal designs (Q4124849) (← links)
- (Q4141007) (← links)
- (Q4143322) (← links)
- (Q4145723) (← links)
- (Q4166765) (← links)
- (Q4175294) (← links)
- (Q4177584) (← links)
- Formalizing a Hierarchical Structure of Practical Mathematical Reasoning (Q4272504) (← links)
- Multi-threading and message communication in Qu-Prolog (Q4452632) (← links)
- (Q4707734) (← links)
