The University of Edinburgh -
Division of Informatics
Forrest Hill & 80 South Bridge

Documents Authored by: Julian Richardson

Please note that only papers and publications recorded in this departments database are shown here. An author may have many other papers and publications produced while working elsewhere which are not listed here. This page does not therefore represent a definitive list of this authors work.

Discussion Paper

DP118 1992 Discussion Paper Richardson,J
Planning Changes of Representation - Thesis Proposal

Informatics Series Report

0003 1999 Informatics Series Report Bundy,A; Richardson,J
Proofs About Lists Using Ellipsis

PhD Thesis

PT9627 1996 PhD Thesis Richardson,J
The Use of Proof Plans for Transformation of Functional Programs by Changes of Data Type

Research Paper

RP949 1999 Research Paper Bundy,A; Richardson,J
Proof Planning Methods as Schemas
RP889 1998 Research Paper Willmott,SN; Bundy,A; Levine,J; Richardson,J
Adversarial Planning in Complex Domains
RP767 1995 Research Paper Richardson,J
Automating Changes of Data Type in Functional Programs

[Search These Pages] [DAI Home Page] [Comment]