WikiDer > Уэйн Снайдер

Уэйн Снайдер доцент в Бостонский университет известен своей работой в Электронная унификация теория.

Он вырос в Ярдли, Пенсильвания, работал в авиационном цехе отца, посещал Музыкальная школа Беркли, и получил степень магистра в Поэзия Августа в Университет ТафтсаЗатем он изучал информатику и получил степень доктора философии. на Пенсильванский университет в 1988 г. В 1987 г. Бостонский университет, преподавание вводной информатики и исследования по автоматическое рассуждение, и, в частности, Электронная унификация.^[1]

Избранные публикации

• Галлье, Дж. И Снайдер, В. (1987). «Общая процедура полного электронного объединения». В Лескане, Пьер (ред.). Методы перезаписи и приложения, 2nd Int. Конф., РТА-87. LNCS. 256. Springer. С. 216–227.
• Жан Х. Галлье и Уэйн Снайдер (1989). «Полные наборы преобразований для всеобщего электронного объединения». Теоретическая информатика. 67 (2–3): 203–260. Дои: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-полнота и приложения к уравнениям». Инф. Вычислить. 87 (1/2): 129–195. Дои:10.1016 / 0890-5401 (90) 90061-л.
• Снайдер, В. и Линч, К. (1991). «Целенаправленные стратегии парамодуляции». В Рональд В. Книга (ред.). Методы перезаписи и приложения, 4th Int. Конф., РТА-91. LNCS. 488. Springer. С. 150–161.
• Линч, К. и Снайдер, В. (1993). «Критерии избыточности для ограниченного завершения». В Киршнер, Клод (ред.). Методы перезаписи и приложения, 5-е Int. Конф., РТА-93. LNCS. 690. Springer. С. 2–16.
• Жан Х. Галлиер и Палиат Нарендран, Дэвид А. Плейстед, Стэн Раатц и Уэйн Снайдер (1993). «Алгоритм нахождения канонических наборов основных правил перезаписи за полиномиальное время» (PDF). J. ACM. 40 (1): 1–16. Дои:10.1145/138027.138032. S2CID 820591.
• Франц Баадер и Уэйн Снайдер (2001). «Теория объединения» (PDF). В Алан Робинсон и Андрей Воронков (ред.). Справочник по автоматическому мышлению. MIT Press + Elsevier. С. 439–526.

использованная литература

внешние ссылки

• Домашняя страница
• Публикации в DBLP
• Публикации на домашней странице Снайдера
• Уэйн Снайдер на Проект "Математическая генеалогия"