Division of Informatics
Forrest Hill & 80 South Bridge
|
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]](http://www.dai.ed.ac.uk/icons/dai_search.gif){kind=icon}
![[DAI Home Page]](http://www.dai.ed.ac.uk/icons/dai_home.gif){kind=icon}
![[Comment]](http://www.dai.ed.ac.uk/icons/dai_comment.gif){kind=icon}