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. | ||
MSc Thesis | ||
MT93139 | 1993 MSc Thesis | Yoshida,T |
---|---|---|
Coloured Rippling | ||
Paper in Conference Proceedings | ||
PP742 | 1994 Paper in Conference Proceedings | Yoshida,T; Green,I; Walsh,T; Basin,D; Bundy,A |
Coloured Rippling: An Extension of a Theorem Proving Heuristic | ||
Research Paper | ||
RP779 | 1995 Research Paper | Yoshida,T; Bundy,A; Green,I; Walsh,T; Basin,D |
Coloured Rippling: an Extension of a Theorem Proving Heuristic |