Wayne Snyder

Wayne Snyder es profesor asociado en la Universidad de Boston, conocido por su trabajo en la teoría de la unificación electrónica .

Se crió en Yardley, Pensilvania , trabajó en el taller de aviones de su padre, asistió a la Escuela de Música Berklee y obtuvo una maestría en poesía augustea en la Universidad de Tufts . Luego estudió informática y obtuvo su doctorado en la Universidad de Pensilvania en 1988. En 1987 llegó a la Universidad de Boston , donde impartió clases de introducción a la informática e investigó sobre razonamiento automatizado y, más particularmente, sobre la unificación electrónica . ^{[ 1 ]}

• Gallier, Jean H.; Snyder, Wayne (1987). «Un procedimiento general y completo de unificación electrónica». Técnicas y aplicaciones de reescritura . Notas de clase en informática . Vol.  256. Springer . págs. 216–227 . doi : 10.1007/3-540-17220-3_19 . ISBN  978-3-540-17220-8.
• Gallier, Jean H.; Snyder, Wayne (1989). "Conjuntos completos de transformaciones para la E-unificación general" . Theoretical Computer Science . 67 ( 2–3 ): 203–260 . doi : 10.1016/0304-3975(89)90004-2 .
• Snyder, Wayne (1989). «Completado de terreno eficiente». Técnicas y aplicaciones de reescritura . Notas de clase en informática . Vol.  355. Springer . págs. 419–433 . doi : 10.1007/3-540-51081-8_123 . ISBN  978-3-540-51081-9.
• Snyder, Wayne (1990). «Unificación electrónica de orden superior». 10.ª Conferencia Internacional sobre Deducción Automatizada . Lecture Notes in Computer Science . Vol.  449. Springer . pp. 573–587 . doi : 10.1007/3-540-52885-7_115 . ISBN  978-3-540-52885-2.
• Gallier, Jean; Narendran, Paliath; Plaisted, David; Snyder, Wayne (1990). "Unificación E rígida: NP-completitud y aplicaciones a emparejamientos ecuacionales" . Information and Computation . 87 ( 1–2 ): 129–195 . doi : 10.1016/0890-5401(90)90061-l .
• Snyder, Wayne; Lynch, Christopher (1991). «Estrategias orientadas a objetivos para la paramodulación». Técnicas y aplicaciones de reescritura . Notas de clase en ciencias de la computación . Vol.  488. Springer . págs. 150–161 . doi : 10.1007/3-540-53904-2_93 . ISBN  978-3-540-53904-9.
• Lynch, Christopher; Snyder, Wayne (1993). «Criterios de redundancia para la compleción restringida». Técnicas y aplicaciones de reescritura . Notas de clase en informática . Vol.  690. Springer . págs. 2–16 . doi : 10.1007/978-3-662-21551-7_2 . ISBN  978-3-540-56868-1.
• Gallier, Jean; Narendran, Paliath; Plaisted, David; Raatz, Stan; Snyder, Wayne (1993). "Un algoritmo para encontrar conjuntos canónicos de reglas de reescritura básicas en tiempo polinomial" (PDF) . Journal of the ACM . 40 : 1–16 . doi : 10.1145/138027.138032 .
• Baader, Franz; Snyder, Wayne; Narendran, Paliath; Schmidt-Schauss, Manfred; Schulz, Klaus (2001). "Teoría de la Unificación" (PDF) . Manual de razonamiento automatizado . vol.  1. Elsevier . págs. 445– 533. doi : 10.1016/B978-044450813-3/50010-2 . ISBN  978-0-444-50813-3Archivado del original (PDF) el 8 de junio de 2015. Consultado el 24 de septiembre de 2014 .

• Página principal
• Publicaciones en DBLP
• Publicaciones en la página principal de Snyder
• Wayne Snyder en el Proyecto de Genealogía Matemática