Уэйн Снайдер - Wayne Snyder

Уэйн Снайдер доцент болып табылады Бостон университеті жұмысымен танымал Электронды унификация теория.

Ол тәрбиеленді Ярли, Пенсильвания, әкесінің ұшақ жасайтын дүкенінде жұмыс істеді Беркли атындағы музыка мектебі және магистр дәрежесін алды Август поэзиясы кезінде Тафтс университеті.Содан кейін ол информатика пәнін оқып, кандидаттық диссертациясын қорғады. кезінде Пенсильвания университеті 1988 жылы 1987 жылы ол келді Бостон университеті, кіріспе информатиканы оқыту және зерттеу автоматтандырылған пайымдау, және, атап айтқанда, Электронды унификация.^[1]

Таңдалған басылымдар

• Галли, Дж. & Снайдер, В. (1987). «Электронды біріктірудің жалпы толық рәсімі». Лесканнада, Пьер (ред.) Қайта жазу әдістері мен қосымшалары, 2-ші инт. Конф., РТА-87. LNCS. 256. Спрингер. 216–227 беттер.
• Жан Х. Галлер және Уэйн Снайдер (1989). «Жалпы электронды біріздендірудің толық жиынтығы». Теориялық информатика. 67 (2–3): 203–260. дои:10.1016/0304-3975(89)90004-2.
• Снайдер, В. (1989). «Жердің тиімді аяқталуы: O (n log n) E теңдеуінің жиынтығына тең келетін қайта жазу ережелерінің қысқартылған жиынтықтарын құру алгоритмі». Жылы Начум Дершовиц (ред.). Қайта жазу әдістері мен қосымшалары, 3-ші инт. Конф., РТА-89. LNCS. 355. Спрингер. 419-433 бб.
• Уэйн Снайдер (шілде 1990). «Жоғары ретті электронды унификация». Proc. Автоматтандырылған шегеру бойынша 10 конференция. ЛНАЙ. 449. Спрингер. 573–587 беттер.
• Жан Х. Галлер және Палиат Нарендран және Дэвид А. Плаист және Уэйн Снайдер (1990). «Қатаң электронды унификация: NP-толықтығы және теңдеулерге қолдану». Инф. Есептеу. 87 (1/2): 129–195. дои:10.1016 / 0890-5401 (90) 90061-л.
• Snyder, W. & Lynch, C. (1991). «Парамодуляция мақсатына бағытталған стратегиялар». Жылы Роналд В. Кітап (ред.). Қайта жазу әдістері мен қосымшалары, 4-ші инт. Конф., РТА-91. LNCS. 488. Спрингер. 150–161 бет.
• Lynch, C. & Snyder, W. (1993). «Шектелген аяқталудың қысқарту критерийлері». Киршнерде, Клод (ред.) Қайта жазу әдістері мен қосымшалары, 5-ші инт. Конф., РТА-93. LNCS. 690. Спрингер. 2-16 бет.
• Жан Х. Галлиер мен Палиат Нарендран және Дэвид А. Плаист және Стэн Рацц пен Уэйн Снайдер (1993). «Полиномдық уақыттағы қайта жазу ережелерінің канондық жиынтықтарын табу алгоритмі» (PDF). J. ACM. 40 (1): 1–16. дои:10.1145/138027.138032. S2CID  820591.
• Франц Баадер және Уэйн Снайдер (2001). «Біріктіру теориясы» (PDF). Жылы Алан Робинсон және Андрей Воронков (ред.). Автоматтандырылған пайымдау туралы анықтама. MIT Press + Elsevier. 439-526 бб.

Әдебиеттер тізімі

Сыртқы сілтемелер

• Басты бет
• Жарияланымдар кезінде DBLP
• Жарияланымдар Снайдердің үй парағында
• Уэйн Снайдер кезінде Математика шежіресі жобасы