Peter J. Robinson

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Reasoning about goal-directed real-time teleo-reactive programs Formal Aspects of Computing	2016-08-05	Paper
Multi-threaded Communicating Agents in Qu-Prolog Lecture Notes in Computer Science	2009-04-28	Paper
Multi-threading and message communication in Qu-Prolog Theory and Practice of Logic Programming	2004-03-01	Paper
scientific article; zbMATH DE number 1926602 (Why is no real title available?)	2003-06-11	Paper
The Qu-Prolog unification algorithm: formalisation and correctness Theoretical Computer Science	1997-02-27	Paper
A functional logic for higher level reasoning about computation Formal Aspects of Computing	1994-12-01	Paper
Formalizing a Hierarchical Structure of Practical Mathematical Reasoning Journal Of Logic And Computation	1993-12-06	Paper
Structure sharing for quantified terms: Fundamentals Journal of Automated Reasoning	1990-01-01	Paper
Efficient unification of quantified terms The Journal of Logic Programming	1988-01-01	Paper
scientific article; zbMATH DE number 4043301 (Why is no real title available?)	1987-01-01	Paper
scientific article; zbMATH DE number 3970762 (Why is no real title available?)	1986-01-01	Paper
scientific article; zbMATH DE number 3885943 (Why is no real title available?)	1984-01-01	Paper
scientific article; zbMATH DE number 3847398 (Why is no real title available?)	1983-01-01	Paper
scientific article; zbMATH DE number 3775543 (Why is no real title available?)	1982-01-01	Paper
scientific article; zbMATH DE number 3573887 (Why is no real title available?)	1978-01-01	Paper
scientific article; zbMATH DE number 3600048 (Why is no real title available?)	1978-01-01	Paper
Using product designs to construct orthogonal designs Bulletin of the Australian Mathematical Society	1977-01-01	Paper
Concerning the existence and construction of orthogonal designs Bulletin of the Australian Mathematical Society	1977-01-01	Paper
scientific article; zbMATH DE number 3572183 (Why is no real title available?)	1977-01-01	Paper
scientific article; zbMATH DE number 3611376 (Why is no real title available?)	1977-01-01	Paper
scientific article; zbMATH DE number 3613057 (Why is no real title available?)	1977-01-01	Paper
scientific article; zbMATH DE number 3529872 (Why is no real title available?)	1976-01-01	Paper
Amicable orthogonal designs Bulletin of the Australian Mathematical Society	1976-01-01	Paper
scientific article; zbMATH DE number 3536100 (Why is no real title available?)	1976-01-01	Paper
scientific article; zbMATH DE number 3570470 (Why is no real title available?)	1976-01-01	Paper

Research outcomes over time

This page was built for person: Peter J. Robinson