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

Documents Authored by: Tetsuya Yoshida

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

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