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 | ||
| DP160 | 1995 Discussion Paper | Dennis,L |
|---|---|---|
| Automating Coinduction | ||
Informatics Series Report | ||
| 0004 | 1999 Informatics Series Report | Dennis,L; Bundy,A; Green,I |
| Making a Productive Use of Failure to Generate Witnesses for Coinduction from Divergent Proof Attempts | ||
MSc Thesis | ||
| MT94110 | 1994 MSc Thesis | Dennis,L |
| An Exploration of Semantic Resolution | ||
Research Paper | ||
| RP834 | 1996 Research Paper | Dennis,L; Bundy,A; Green,I |
| Using a Generalisation Critic to Find Bisimulations for Coinductive Proofs | ||
| PT9805 | 1998 | Dennis,L |
| Proof Planning Coinduction | ||
![[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}