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

Documents Authored by: Louise Dennis

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] [DAI Home Page] [Comment]