Peter J. Robinson

Available identifiers

zbMath Open robinson.peter-jMaRDI QIDQ736793

List of research outcomes

Publication	Date of Publication	Type
Reasoning about goal-directed real-time teleo-reactive programs	2016-08-05	Paper
Multi-threaded Communicating Agents in Qu-Prolog	2009-04-28	Paper
Multi-threading and message communication in Qu-Prolog	2004-03-01	Paper
https://portal.mardi4nfdi.de/entity/Q4707734	2003-06-11	Paper
The Qu-Prolog unification algorithm: formalisation and correctness	1997-02-27	Paper
A functional logic for higher level reasoning about computation	1994-12-01	Paper
Formalizing a Hierarchical Structure of Practical Mathematical Reasoning	1993-12-06	Paper
Structure sharing for quantified terms: Fundamentals	1990-01-01	Paper
Efficient unification of quantified terms	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3780488	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3737436	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3220621	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3317113	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3955368	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4145723	1978-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4166765	1978-01-01	Paper
Using product designs to construct orthogonal designs	1977-01-01	Paper
Concerning the existence and construction of orthogonal designs	1977-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4143322	1977-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4175294	1977-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4177584	1977-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4106217	1976-01-01	Paper
Amicable orthogonal designs	1976-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4111578	1976-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4141007	1976-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Peter J. Robinson