Уэйн Снайдер

Уэйн Снайдер - адъюнкт-профессор Бостонского университета, известный своей работой в области теории электронного объединения.

Он вырос в Ярдли, штат Пенсильвания, работал в авиационной мастерской своего отца, посещал Музыкальную школу Беркли и получил степень магистра в поэзии Августа. в Университете Тафтса. Затем он изучал информатику и получил степень доктора философии. в Университете Пенсильвании в 1988 году. В 1987 году он поступил в Бостонский университет, где преподавал вводную информатику и исследовал автоматическое мышление, и, в частности, E-unification.

• Gallier, JH Snyder, W. (1987). «Общая процедура полного электронного объединения». В Lescanne, Пьер (ред.). Методы и приложения перезаписи, 2-е Int. Конф., РТА-87. LNCS. 256 . Springer. С. 216–227.
• Жан Х. Галлье и Уэйн Снайдер (1989). «Полные наборы преобразований для общего электронного объединения». Теоретическая информатика. 67(2–3): 203–260. doi : 10.1016 / 0304-3975 (89) 90004-2.
• Снайдер У. (1989). «Эффективное наземное завершение: алгоритм O (n log n) для создания сокращенных наборов основных правил перезаписи, эквивалентных набору основных уравнений E». В Нахум Дершовиц (ред.). Методы перезаписи и приложения, 3-е Int. Конф., РТА-89. LNCS. 355 . Springer. С. 419–433.
• Уэйн Снайдер (июль 1990 г.). «Электронное объединение высшего порядка». Proc. 10-я конференция по автоматическому отчислению. LNAI. 449 . Springer. стр. 573–587.
• Жан Х. Галльер и Палиат Нарендран и Дэвид А. Плейстед и Уэйн Снайдер (1990). «Жесткое электронное объединение: NP-полнота и приложения к уравнениям». Инф. Comput. 87 (1/2): 129–195. doi : 10.1016 / 0890-5401 (90) 90061-l.
• Снайдер, В. и Линч, К. (1991). «Целенаправленные стратегии парамодуляции». В Рональд В. Книга (ред.). Методы перезаписи и приложения, 4th Int. Конф., РТА-91. LNCS. 488 . Springer. С. 150–161.
• Линч, К. и Снайдер, В. (1993). «Критерии избыточности для ограниченного завершения». В Киршнер, Клод (ред.). Методы перезаписи и приложения, 5-я Int. Конф., РТА-93. LNCS. 690 . Springer. Стр. 2–16.
• Жан Х. Галльер, Палиат Нарендран, Дэвид А. Плейстед, Стэн Раатц и Уэйн Снайдер (1993). «Алгоритм поиска канонических наборов основных правил перезаписи за полиномиальное время» (PDF). Дж. ACM. 40(1): 1–16. doi : 10.1145 / 138027.138032. S2CID 820591.
• Франц Баадер и Уэйн Снайдер (2001). «Теория объединения» (PDF). В Алан Робинсон и Андрей Воронков (ред.). Справочник по автоматизированному мышлению. MIT Press + Elsevier. С. 439–526.

• Домашняя страница
• Публикации на DBLP
• Публикации на домашней странице Снайдера
• Уэйн Снайдер в проекте Mathematics Genealogy Project

.