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
https://portal.mardi4nfdi.de/entity/Q4175294	1977-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/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

This page was built for person: Peter J. Robinson