Edinburgh Research Archive: Browsing ERA

Edinburgh Research Archive

Browsing by Author Walsh, T.

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

or enter first few letters:

Showing results 1 to 3 of 3

Issue Date	Title	Author(s)	Supervisor(s)
Dec-1996	Calculating Criticalities	Alan, Bundy; Giunchiglia, F.; Sebastiani, R.; Walsh, T.	-
1996	Computing Abstraction Hierarchies by Numerical Simulation	Alan, Bundy; Giunchiglia, F.; Sebastiani, R.; Walsh, T.	-
1992	The Use of Proof Plans to Sum Series	Walsh, T.; Nunes, A.; Bundy, Alan	-

Showing results 1 to 3 of 3