Nachum Dershowitz - Nachum Dershowitz

Nachum Dershowitz
Nachum Dershowitz
Bekannt für	Dershowitz–Manna Bestellung
Auszeichnungen	Herbrand-Preis 2011
	Wissenschaftlicher Werdegang
Felder	Begriffsänderung
These	Die Entwicklung der Programme (1979)
Doktoratsberater	Zohar Manna
Webseite	http://www.cs.tau.ac.il/~nachumd/Homepage.html

Nachum Dershowitz ist ein israelischer Informatiker, bekannt ua für die Dershowitz-Manna-Ordnung und die Multiset-Pfad-Ordnung, die verwendet wird, um die Termination von Term-Rewrite-Systemen nachzuweisen .

Er erwarb seinen B.Sc. summa cum laude im Jahr 1974 in Informatik – Angewandte Mathematik an der Bar-Ilan University und seinen Ph.D. 1979 in Angewandter Mathematik am Weizmann Institute of Science . Ab 1978 arbeitete er am Department of Computer Science der University of Illinois in Urbana-Champaign , bis er 1998 ordentlicher Professor an der Universität Tel Aviv (School of Computer Science) wurde. Er war Gastwissenschaftler am Weizmann Institute , INRIA , ENS Cachan , Microsoft Research und den Universitäten Stanford , Paris , Jerusalem , Chicago und Peking . 2011 erhielt er den Herbrand Award for Distinguished Contributions to Automatic Reasoning.

Er hat zusammen mit Edward Reingold den Standardtext zu Kalenderalgorithmen, Calendrical Calculations , verfasst . Eine Implementierung des Algorithmus in Common Lisp wird gemeinfrei gemacht und auch mit dem Buch verteilt.

Siehe auch

Ausgewählte Publikationen

Nachum Dershowitz & Zohar Manna (1977). "Die Evolution von Programmen: Ein System zur automatischen Programmänderung" (PDF) . Proz. POPL . S. 144–154.
Nachum Dershowitz und Zohar Manna (Aug 1979). "Kündigung mit Multiset-Bestellungen nachweisen" (PDF) . Mitteilungen des ACM . 22 (8): 465–476. CiteSeerX 10.1.1.1013.432 . doi : 10.1145/359138.359142 .
N. Dershowitz (Okt. 1979). "Bestellungen für Term Rewriting Systems". Proz. 20. Symposium über Grundlagen der Informatik (FOCS) . S. 123–131.
N. Dershowitz (1981). "Beendigung von linearen Rewriting-Systemen: Vorläufige Version". In Shimon sogar; Oded Kariv (Hrsg.). Proz. ICALP . LNCS . 115 . Springer. S. 448–458.
N. Dershowitz (1982). "Bestellungen für Term-Rewriting-Systeme" (PDF) . Theoretisch. Berechnen. Wissenschaft 17 (3): 279–301. doi : 10.1016/0304-3975(82)90026-3 .
Dershowitz, N. (1985). "Kündigung" (PDF) . In Jean-Pierre Jouannaud (Hrsg.). Umschreibungstechniken und Anwendungen, 1st Int. Konf., RTA-85 . LNCS. 202 . Springer. S. 180–224.
Bachmair, L. und Dershowitz, N. und Hsiang, J. (Juni 1986). „Bestellungen für Gleichungsbeweise“. Proz. IEEE Symposium über Logik in der Informatik (LICS) . Cambridge/MA. S. 346–357.CS1-Wartung: mehrere Namen: Autorenliste ( Link )
Bachmair, L. & Dershowitz, N. (1987). „Abschluss für das Umschreiben von Modulo eine Kongruenz“. In Lescanne, Pierre (Hrsg.). Rewriting-Techniken und -Anwendungen, 2nd Int. Konf., RTA-87 . LNCS. 256 . Springer. S. 192–203.
Nachum Dershowitz (1987). "Beendigung der Umschreibung" (PDF) . J. Symbolische Berechnung. 3 (1–2): 69–116. doi : 10.1016/s0747-7171(87)80022-6 .
N. Dershowitz & M. Okada (1988). „Beweistheoretische Techniken für Term Rewriting Theory“. Proz. 3. IEEE Symp. über Logik in der Informatik (PDF) . S. 104–111.
N. Dershowitz & G. Sivakumar (1988). „Ziele in Equational Languages lösen“. Proz. 1. Int. Workshop zu bedingten Term-Rewriting-Systemen . LNCS. 308 . Springer. S. 45–55.
Dershowitz, Nachum, hrsg. (1989). Rewriting-Techniken und -Anwendungen, 3rd Int. Konf., RTA-89 . LNCS. 355 . Springer.
N. Dershowitz & J.-P. Jouannaud (1990). "Rewrite-Systeme". In Jan van Leeuwen (Hrsg.). Formale Modelle und Semantik . Handbuch der Theoretischen Informatik. B. . Sonst. S. 243–320.
N. Dershowitz & J.-P. Jouannaud (1990). „Notationen zum Umschreiben“. Cite Journal erfordert |journal=( Hilfe )
Dershowitz, N. und Jouannaud, J.-P. und Jan Willem Klop (1991). "Offene Probleme beim Umschreiben". In Ronald V. Buch (Hrsg.). Rewriting-Techniken und -Anwendungen, 4th Int. Konf., RTA-91 . LNCS. 488 . Springer. S. 445–456.CS1-Wartung: mehrere Namen: Autorenliste ( Link )
Dershowitz, N. und Jouannaud, J.-P. und Klop, JW (1993). "Mehr Probleme beim Umschreiben". In Kirchner, Claude (Hrsg.). Rewriting-Techniken und -Anwendungen, 5th Int. Konf., RTA-93 . LNCS. 690 . Springer. S. 468–487.CS1-Wartung: mehrere Namen: Autorenliste ( Link )
Nachum Dershowitz (April 1993). „Bäume, Ordnungszahlen und Kündigung“. Proz. CAAP/TAPSOFT (PDF) . LNCS. 668 . Springer. S. 243–250.
Dershowitz, N. & Hoot, C. (1993). "Themen in der Kündigung". In Kirchner, Claude (Hrsg.). Umschreiben Techniken und Anwendungen, 5th Int. Konf., RTA-93 . LNCS. 690 . Springer. S. 198–212.
Dershowitz, N. (1997). „Unschädliche Konstruktor-Sharing-Kombinationen“. In Comon, Hubert (Hrsg.). Umschreiben Techniken und Anwendungen, 8. Int. Konf., RTA-97 . LNCS. 1232 . Springer. S. 202–216.
Dershowitz, Nachum und Reingold, Edward M. , Calendrical Calculations , Cambridge University Press, ISBN 0521702380 , 1997
Dershowitz, N. & Treinen, R. (1998). "Eine Online-Problemdatenbank". In Tobias Nipkow (Hrsg.). Rewriting-Techniken und -Anwendungen, 9th Int. Konf., RTA-98 . LNCS. 1379 . Springer. S. 332–342.
Dershowitz, N. & Mitra, S. (1999). "Gefahr". In Narendran, Paliath & Rusinowitch, Michaël (Hrsg.). Rewriting-Techniken und -Anwendungen, 10. Int. Konf., RTA-99 . LNCS. 1631 . Springer. S. 16–29.
Nachum Dershowitz und David A. Plaisted (2001). "Umschreiben (Kapitel 9)". In Alan Robinson ; Andrei Woronkow (Hrsg.). Handbuch des automatisierten Denkens . MIT Press + Elsevier. S. 535–610.
Dershowitz, N. (2005). "Begriffsumschreibung und Anwendungen". In Giesl, J. (Hrsg.). Term Rewriting and Applications, 16. Int. Konf., RTA-05 . LNCS. 3467 . Springer. S. 376–393. ISBN 978-3-540-25596-3.
Dershowitz, N. & Castedo Ellerman, E. (2005). "Leanest Quasi-Ordnungen". In Giesl, J. (Hrsg.). Term Rewriting and Applications, 16. Int. Konf., RTA-05 . LNCS. 3467 . Springer. S. 32–45. ISBN 978-3-540-25596-3.
Dershowitz, Nachum 2005. The Four Sons of Penrose , in Proceedings of the Eleventh Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR; Jamaika) , G. Sutcliffe und A. Voronkov, Hrsg., Lecture Notes in Computer Science, vol. 3835, Springer-Verlag, Berlin, S. 125–138.