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