Nachum Dershowitz es un informático israelí, conocido, por ejemplo, por el ordenamiento Dershowitz-Manna y el ordenamiento de rutas de conjuntos múltiples utilizado para demostrar la terminación de los sistemas de reescritura de términos .
Obtuvo su B.Sc. summa cum laude en 1974 en Ciencias de la Computación-Matemáticas Aplicadas de la Universidad Bar-Ilan , y su Ph.D. en 1979 en Matemática Aplicada del Instituto de Ciencias Weizmann . Desde 1978, trabajó en el Departamento de Ciencias de la Computación de la Universidad de Illinois en Urbana-Champaign , y fue contratado como profesor titular de la Universidad de Tel Aviv (Escuela de Ciencias de la Computación) en 1998. Fue investigador invitado en el Instituto Weizmann. , INRIA , ENS Cachan , Microsoft Research y las universidades de Stanford , París , Jerusalén , Chicago y Beijing . [2] Recibió el Premio Herbrand por sus contribuciones distinguidas al razonamiento automático en 2011.
Es coautor del texto estándar sobre algoritmos de calendario, Calendrical Calculations , con Edward Reingold . [3] [4] [5] [6] Una implementación del algoritmo en Common Lisp es de dominio público y también se distribuye con el libro.
Ver también
Publicaciones Seleccionadas
- Nachum Dershowitz y Zohar Maná (1977). "La evolución de los programas: un sistema de modificación automática de programas" (PDF) . Proc. POPL . págs. 144-154.
- Nachum Dershowitz y Zohar Manna (agosto de 1979). "Demostración de la terminación con pedidos de conjuntos múltiples" (PDF) . Comunicaciones de la ACM . 22 (8): 465–476. CiteSeerX 10.1.1.1013.432 . doi :10.1145/359138.359142. S2CID 17906810.
- N. Dershowitz (octubre de 1979). "Pedidos de sistemas de reescritura de términos". Proc. XX Simposio sobre Fundamentos de la Informática (FOCS) . págs. 123-131.
- N. Dershowitz (1981). "Terminación de sistemas de reescritura lineal: Versión preliminar". En Shimon incluso; Oded Kariv (eds.). Proc. ICALP . LNCS . vol. 115. Saltador. págs. 448–458.
- N. Dershowitz (1982). "Pedidos de sistemas de reescritura de términos" (PDF) . Teoría. Computadora. Ciencia. 17 (3): 279–301. doi :10.1016/0304-3975(82)90026-3. S2CID 6070052.
- Dershowitz, N. (1985). "Terminación" (PDF) . En Jean-Pierre Jouannaud (ed.). Técnicas y Aplicaciones de Reescritura, 1º Int. Conf., RTA-85 . LNCS. vol. 202. Saltador. págs. 180–224.
- Bachmair, L. y Dershowitz, N. y Hsiang, J. (junio de 1986). "Pedidos de pruebas ecuacionales". Proc. Simposio IEEE sobre lógica en informática (LICS) . Cambridge/MA. págs. 346–357.
{{cite book}}
: Mantenimiento de CS1: falta la ubicación del editor ( enlace ) Mantenimiento de CS1: varios nombres: lista de autores ( enlace ) - Bachmair, L. y Dershowitz, N. (1987). "Finalización de la reescritura del módulo de congruencia". En Lescanne, Pierre (ed.). Técnicas y Aplicaciones de Reescritura, 2º Int. Conf., RTA-87 . LNCS. vol. 256. Saltador. págs. 192-203.
- Nachum Dershowitz (1987). "Terminación de la reescritura" (PDF) . J. Computación simbólica. 3 (1–2): 69–116. doi : 10.1016/s0747-7171(87)80022-6 .
- N. Dershowitz y M. Okada (1988). "Técnicas de prueba teórica para la teoría de la reescritura de términos". Proc. 3er Simposio IEEE. sobre lógica en informática (PDF) . págs. 104-111.
- N. Dershowitz y G. Sivakumar (1988). "Resolver objetivos en lenguajes ecuacionales". Proc. 1º Int. Taller sobre Sistemas de Reescritura de Términos Condicionales . LNCS. vol. 308. Saltador. págs. 45–55.
- Dershowitz, Nachum, ed. (1989). Técnicas y Aplicaciones de Reescritura, 3º Int. Conf., RTA-89 . LNCS. vol. 355. Saltador.
- N. Dershowitz y J.-P. Jouannaud (1990). "Reescribir sistemas". En Jan van Leeuwen (ed.). Modelos formales y semántica . Manual de informática teórica. vol. B. Elsevier. págs. 243–320.
- N. Dershowitz y J.-P. Jouannaud (1990). "Notaciones para reescribir".
- Dershowitz, N. y Jouannaud, J.-P. y Jan Willem Klop (1991). "Problemas abiertos al reescribir". En Ronald V. Libro (ed.). Técnicas y Aplicaciones de Reescritura, 4to Int. Conf., RTA-91 . LNCS. vol. 488. Saltador. págs. 445–456.
{{cite book}}
: Mantenimiento CS1: varios nombres: lista de autores ( enlace ) - Dershowitz, N. y Jouannaud, J.-P. y Klop, JW (1993). "Más problemas al reescribir". En Kirchner, Claude (ed.). Técnicas y Aplicaciones de Reescritura, 5to Int. Conf., RTA-93 . LNCS. vol. 690. Saltador. págs. 468–487.
{{cite book}}
: Mantenimiento CS1: varios nombres: lista de autores ( enlace ) - Nachum Dershowitz (abril de 1993). "Árboles, Ordinales y Terminación". Proc. CAAP/TAPSOFT (PDF) . LNCS. vol. 668. Saltador. págs. 243-250.
- Dershowitz, N. y Hoot, C. (1993). "Temas en Terminación". En Kirchner, Claude (ed.). Técnicas y Aplicaciones de Reescritura, 5to Int. Conf., RTA-93 . LNCS. vol. 690. Saltador. págs. 198-212.
- Dershowitz, N. (1997). "Combinaciones inocuas de constructor-compartido". En Comon, Hubert (ed.). Técnicas y aplicaciones de reescritura, 8º Int. Conf., RTA-97 . LNCS. vol. 1232. Saltador. págs. 202-216.
- Dershowitz, Nachum y Reingold, Edward M. , Cálculos calendáricos , Cambridge University Press, ISBN 0521702380 , 1997
- Dershowitz, N. y Treinen, R. (1998). "Una base de datos de problemas en línea". En Tobias Nipkow (ed.). Técnicas y aplicaciones de reescritura, 9º Int. Conf., RTA-98 . LNCS. vol. 1379. Saltador. págs. 332–342.
- Dershowitz, N. y Mitra, S. (1999). "Peligro". En Narendran, Paliath y Rusinowitch, Michaël (eds.). Técnicas y aplicaciones de reescritura, 10º Int. Conf., RTA-99 . LNCS. vol. 1631. Saltador. págs. 16-29.
- Nachum Dershowitz y David A. Plaisted (2001). "Reescritura (Capítulo 9)". En Alan Robinson ; Andréi Voronkov (eds.). Manual de razonamiento automatizado . Prensa del MIT + Elsevier. págs. 535–610.
- Dershowitz, N. (2005). "Reescritura de términos y aplicaciones". En Giesl, J. (ed.). Reescritura de términos y aplicaciones, 16º Int. Conf., RTA-05 . LNCS. vol. 3467. Saltador. págs. 376–393. ISBN 978-3-540-25596-3.
- Dershowitz, N. y Castedo Ellerman, E. (2005). "Cuasi-pedidos más ajustados". En Giesl, J. (ed.). Reescritura de términos y aplicaciones, 16º Int. Conf., RTA-05 . LNCS. vol. 3467. Saltador. págs. 32–45. ISBN 978-3-540-25596-3.
- Dershowitz, Nachum 2005. Los cuatro hijos de Penrose , en Actas de la Undécima Conferencia sobre Lógica para la Programación, Inteligencia Artificial y Razonamiento (LPAR; Jamaica) , G. Sutcliffe y A. Voronkov, eds., Lecture Notes in Computer Science, vol. 3835, Springer-Verlag, Berlín, págs. 125-138.
Referencias
enlaces externos
- pagina de inicio
- Vídeo "La tesis de Turing de la Iglesia", Nachum Dershowitz en el sexto día de la teoría de la CS en Israel, 13 de marzo de 2013
- Nachum Dershowitz en el servidor de bibliografía DBLP
- Nachum Dershowitz en el Proyecto de Genealogía de Matemáticas