Talk:Wayne Snyder

Contested deletion
This article should not be speedily deleted for lack of asserted importance because Snyder has made important contributions to theoretical computer science, as should become evident from his DBLP page which lists 27 articles and conference papers (if not from the current version of the article). To the best of my knowledge, his 1989 paper with Gallier is a standard reference in the automated theorem proving research community. --Jochen Burghardt (talk) 16:51, 24 September 2014 (UTC)