By Scientia Professor Toby Walsh

Journal articles

BASIN D; WALSH T, 1992, 'DIFFERENCE MATCHING', LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 607, pp. 295 - 309, https://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:A1992KV19500023&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=891bb5ab6ba270e68a29b250adbe88d1

Walsh T; Nunes A; Bundy A, 1992, 'The use of proof plans to sum series', Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 607 LNAI, pp. 325 - 339, http://dx.doi.org/10.1007/3-540-55602-8_175

WALSH TR, 1982, 'THE TOWERS OF HANOI REVISITED - MOVING THE RINGS BY COUNTING THE MOVES', INFORMATION PROCESSING LETTERS, 15, pp. 64 - 67, http://dx.doi.org/10.1016/0020-0190(82)90108-9

Back to profile page