1021:
939:
925:
968:
955:
961:
737:
585:
562:
420:
1005:
845:
416:
145:
1082:
1058:
875:
742:, G. Sutcliffe and A. Voronkov, eds., Lecture Notes in Computer Science, vol. 3835, Springer-Verlag, Berlin, pp. 125–138.
798:
719:
700:
389:
1077:
998:
759:
325:
N. Dershowitz (1981). "Termination of linear rewriting systems: Preliminary version". In Shimon Even; Oded Kariv (eds.).
1097:
428:
Bachmair, L. & Dershowitz, N. (1987). "Completion for
Rewriting Modulo a Congruence". In Lescanne, Pierre (ed.).
570:
Dershowitz, N. and
Jouannaud, J.-P. and Klop, J.W. (1993). "More Problems in Rewriting". In Kirchner, Claude (ed.).
1092:
681:
991:
639:
115:
934:
141:
111:
29:
659:
Dershowitz, N. & Mitra, S. (1999). "Jeopardy". In
Narendran, Paliath & Rusinowitch, Michaël (eds.).
267:
1051:
177:
790:
275:
531:
289:
630:
201:
1044:
710:
Dershowitz, N. & Castedo
Ellerman, E. (2005). "Leanest Quasi-orderings". In Giesl, J. (ed.).
730:
1087:
284:
399:
Bachmair, L. and
Dershowitz, N. and Hsiang, J. (Jun 1986). "Orderings for Equational Proofs".
378:
616:
Dershowitz, N. (1997). "Innocuous
Constructor-Sharing Combinations". In Comon, Hubert (ed.).
594:
518:
468:
N. Dershowitz & M. Okada (1988). "Proof-Theoretic
Techniques for Term Rewriting Theory".
385:
349:
185:
469:
1032:
979:
341:
1020:
924:
607:
Dershowitz, N. & Hoot, C. (1993). "Topics in
Termination". In Kirchner, Claude (ed.).
245:
8:
938:
446:
189:
173:
153:
137:
438:
853:
673:
579:
556:
538:
410:
365:
302:
231:
169:
157:
770:
459:
794:
774:
715:
696:
669:
635:
361:
181:
508:. Handbook of Theoretical Computer Science. Vol. B. Elsevier. pp. 243–320.
306:
883:
823:
815:
454:
400:
369:
357:
294:
80:
569:
482:
N. Dershowitz & G. Sivakumar (1988). "Solving Goals in
Equational Languages".
903:
677:
625:
540:
501:
206:
132:
119:
99:
1028:
975:
544:
193:
149:
57:
39:
909:
691:
Dershowitz, N. (2005). "Term
Rewriting and Applications". In Giesl, J. (ed.).
398:
1071:
887:
647:
930:
646:
Dershowitz, N. & Treinen, R. (1998). "An On-line Problem Database". In
915:
298:
263:
214:
85:
246:"The Evolution of Programs: A System for Automatic Program Modification"
857:
667:
165:
513:
N. Dershowitz & J.-P. Jouannaud (1990). "Notations for Rewriting".
156:(School of Computer Science) in 1998. He was a guest researcher at
144:. From 1978, he worked at the Department of Computer Science of the
967:
226:
827:
709:
500:
N. Dershowitz & J.-P. Jouannaud (1990). "Rewrite Systems". In
314:
N. Dershowitz (Oct 1979). "Orderings for Term Rewriting Systems".
1027:
This biographical article relating to a computer specialist is a
954:
593:
Nachum Dershowitz (Apr 1993). "Trees, Ordinals and Termination".
261:
210:
912:", Nachum Dershowitz on Sixth Israel CS Theory Day, Mar 13, 2013
217:
is in the public domain, and is also distributed with the book.
196:
for Distinguished Contributions to Automatic Reasoning in 2011.
64:
661:
Rewriting Techniques and Applications, 10th Int. Conf., RTA-99
317:
Proc. 20th Symposium on Foundations of Computer Science (FOCS)
738:
Logic for Programming, Artificial Intelligence, and Reasoning
652:
Rewriting Techniques and Applications, 9th Int. Conf., RTA-98
618:
Rewriting Techniques and Applications, 8th Int. Conf., RTA-97
609:
Rewriting Techniques and Applications, 5th Int. Conf., RTA-93
572:
Rewriting Techniques and Applications, 5th Int. Conf., RTA-93
549:
Rewriting Techniques and Applications, 4th Int. Conf., RTA-91
493:
Rewriting Techniques and Applications, 3rd Int. Conf., RTA-89
484:
Proc. 1st Int. Workshop on Conditional Term Rewriting Systems
430:
Rewriting Techniques and Applications, 2nd Int. Conf., RTA-87
391:
Rewriting Techniques and Applications, 1st Int. Conf., RTA-85
326:
199:
He has co-authored the standard text on calendar algorithms,
161:
960:
512:
499:
243:
919:
332:
315:
252:
136:, in 1974 in computer science and applied mathematics from
427:
645:
481:
712:
Term Rewriting and Applications, 16th Int. Conf., RTA-05
693:
Term Rewriting and Applications, 16th Int. Conf., RTA-05
402:
Proc. IEEE Symposium on Logic in Computer Science (LICS)
140:, and his Ph.D. in 1979 in Applied Mathematics from the
658:
606:
467:
110:
is an Israeli computer scientist, known e.g. for the
695:. LNCS. Vol. 3467. Springer. pp. 376–393.
654:. LNCS. Vol. 1379. Springer. pp. 332–342.
620:. LNCS. Vol. 1232. Springer. pp. 202–216.
714:. LNCS. Vol. 3467. Springer. pp. 32–45.
611:. LNCS. Vol. 690. Springer. pp. 198–212.
602:. LNCS. Vol. 668. Springer. pp. 243–250.
574:. LNCS. Vol. 690. Springer. pp. 468–487.
551:. LNCS. Vol. 488. Springer. pp. 445–456.
490:
432:. LNCS. Vol. 256. Springer. pp. 192–203.
394:. LNCS. Vol. 202. Springer. pp. 180–224.
663:. LNCS. Vol. 1631. Springer. pp. 16–29.
592:
471:Proc. 3rd IEEE Symp. on Logic in Computer Science
436:
1069:
486:. LNCS. Vol. 308. Springer. pp. 45–55.
846:The British Journal for the History of Science
690:
615:
376:
100:http://www.cs.tau.ac.il/~nachumd/Homepage.html
1052:
999:
974:This article about an Israeli scientist is a
339:
324:
313:
268:"Proving Termination with Multiset Orderings"
584:: CS1 maint: multiple names: authors list (
561:: CS1 maint: multiple names: authors list (
335:. Vol. 115. Springer. pp. 448–458.
244:Nachum Dershowitz & Zohar Manna (1977).
419:) CS1 maint: multiple names: authors list (
1059:
1045:
1006:
992:
937:
923:
785:Edward M. Reingold and Nachum Dershowitz.
736:Proceedings of the Eleventh Conference on
415:: CS1 maint: location missing publisher (
146:University of Illinois at Urbana-Champaign
686:. MIT Press + Elsevier. pp. 535–610.
543:(1991). "Open Problems in Rewriting". In
458:
288:
539:Dershowitz, N. and Jouannaud, J.-P. and
237:
876:IEEE Annals of the History of Computing
125:
1070:
342:"Orderings for Term-Rewriting Systems"
1015:
948:
672:(2001). "Rewriting (Chapter 9)". In
120:termination of term rewrite systems
13:
14:
1109:
897:
405:. Cambridge/MA. pp. 346–357.
1019:
966:
959:
953:
495:. LNCS. Vol. 355. Springer.
491:Dershowitz, Nachum, ed. (1989).
1083:Theoretical computer scientists
683:Handbook of Automated Reasoning
211:implementation of the algorithm
863:
833:
803:
779:
764:
753:
634:, Cambridge University Press,
1:
935:Mathematics Genealogy Project
793:; 4th edition (April 2018).
746:
460:10.1016/s0747-7171(87)80022-6
142:Weizmann Institute of Science
1031:. You can help Knowledge by
978:. You can help Knowledge by
362:10.1016/0304-3975(82)90026-3
7:
1078:Israeli computer scientists
506:Formal Models and Semantics
220:
10:
1114:
1014:
947:
873:by N. M. Swerdlow (1998),
813:by E. G. Richards (1998),
791:Cambridge University Press
439:"Termination of Rewriting"
437:Nachum Dershowitz (1987).
172:, and the universities of
70:The Evolution of Programs
1098:Computer specialist stubs
728:Dershowitz, Nachum 2005.
276:Communications of the ACM
112:Dershowitz–Manna ordering
95:
91:
79:
63:
53:
46:
35:
30:Dershowitz–Manna ordering
25:
18:
910:The Church-Turing Thesis
888:10.1109/MAHC.1998.707580
871:Calendrical Calculations
843:by Robert Poole (1999),
841:Calendrical Calculations
811:Calendrical Calculations
787:Calendrical Calculations
731:The Four Sons of Penrose
631:Calendrical Calculations
202:Calendrical Calculations
1093:Israeli scientist stubs
624:Dershowitz, Nachum and
377:Dershowitz, N. (1985).
130:He obtained his B.Sc.,
760:Herbrand award address
668:Nachum Dershowitz and
526:Cite journal requires
340:N. Dershowitz (1982).
262:Nachum Dershowitz and
116:multiset path ordering
386:Jean-Pierre Jouannaud
350:Theoret. Comput. Sci.
299:10.1145/359138.359142
238:Selected publications
148:, and was hired as a
922:Bibliography Server
126:Education and career
626:Reingold, Edward M.
477:. pp. 104–111.
447:J. Symbolic Comput.
320:. pp. 123–131.
257:. pp. 144–154.
154:Tel Aviv University
138:Bar-Ilan University
596:Proc. CAAP/TAPSOFT
232:Lunisolar calendar
192:. He received the
170:Microsoft Research
158:Weizmann Institute
1040:
1039:
987:
986:
931:Nachum Dershowitz
916:Nachum Dershowitz
799:978-1-107-05762-3
775:Academia Europaea
721:978-3-540-25596-3
702:978-3-540-25596-3
670:David A. Plaisted
108:Nachum Dershowitz
105:
104:
48:Scientific career
20:Nachum Dershowitz
1105:
1061:
1054:
1047:
1023:
1016:
1008:
1001:
994:
970:
965:
964:
963:
957:
949:
941:
927:
891:
867:
861:
837:
831:
807:
801:
783:
777:
768:
762:
757:
725:
706:
687:
664:
655:
621:
612:
603:
601:
589:
583:
575:
566:
560:
552:
535:
529:
524:
522:
514:
509:
496:
487:
478:
476:
464:
462:
443:
433:
424:
414:
406:
395:
383:
373:
346:
336:
321:
310:
292:
272:
258:
250:
81:Doctoral advisor
75:
16:
15:
1113:
1112:
1108:
1107:
1106:
1104:
1103:
1102:
1068:
1067:
1066:
1065:
1013:
1012:
958:
952:
945:
900:
895:
894:
868:
864:
838:
834:
808:
804:
784:
780:
769:
765:
758:
754:
749:
740:(LPAR; Jamaica)
722:
703:
678:Andrei Voronkov
599:
577:
576:
554:
553:
541:Jan Willem Klop
527:
525:
516:
515:
502:Jan van Leeuwen
474:
453:(1–2): 69–116.
441:
408:
407:
381:
344:
290:10.1.1.1013.432
270:
248:
240:
223:
207:Edward Reingold
133:summa cum laude
128:
73:
21:
12:
11:
5:
1111:
1101:
1100:
1095:
1090:
1085:
1080:
1064:
1063:
1056:
1049:
1041:
1038:
1037:
1024:
1011:
1010:
1003:
996:
988:
985:
984:
971:
943:
942:
928:
913:
906:
899:
898:External links
896:
893:
892:
862:
852:(1): 116–118,
832:
802:
778:
763:
751:
750:
748:
745:
744:
743:
726:
720:
707:
701:
688:
665:
656:
643:
622:
613:
604:
590:
567:
545:Ronald V. Book
536:
528:|journal=
510:
497:
488:
479:
465:
434:
425:
396:
374:
356:(3): 279–301.
337:
322:
311:
283:(8): 465–476.
259:
239:
236:
235:
234:
229:
222:
219:
194:Herbrand Award
150:full professor
127:
124:
118:used to prove
103:
102:
97:
93:
92:
89:
88:
83:
77:
76:
67:
61:
60:
58:Term rewriting
55:
51:
50:
44:
43:
40:Herbrand Award
37:
33:
32:
27:
26:Known for
23:
22:
19:
9:
6:
4:
3:
2:
1110:
1099:
1096:
1094:
1091:
1089:
1088:Living people
1086:
1084:
1081:
1079:
1076:
1075:
1073:
1062:
1057:
1055:
1050:
1048:
1043:
1042:
1036:
1034:
1030:
1025:
1022:
1018:
1017:
1009:
1004:
1002:
997:
995:
990:
989:
983:
981:
977:
972:
969:
962:
956:
951:
950:
946:
940:
936:
932:
929:
926:
921:
917:
914:
911:
907:
905:
902:
901:
889:
885:
881:
878:
877:
872:
866:
859:
855:
851:
848:
847:
842:
836:
829:
828:10.1038/34083
825:
821:
818:
817:
812:
806:
800:
796:
792:
788:
782:
776:
772:
767:
761:
756:
752:
741:
739:
733:
732:
727:
723:
717:
713:
708:
704:
698:
694:
689:
685:
684:
679:
675:
674:Alan Robinson
671:
666:
662:
657:
653:
649:
648:Tobias Nipkow
644:
641:
637:
633:
632:
627:
623:
619:
614:
610:
605:
598:
597:
591:
587:
581:
573:
568:
564:
558:
550:
546:
542:
537:
533:
520:
511:
507:
503:
498:
494:
489:
485:
480:
473:
472:
466:
461:
456:
452:
449:
448:
440:
435:
431:
426:
422:
418:
412:
404:
403:
397:
393:
392:
387:
380:
379:"Termination"
375:
371:
367:
363:
359:
355:
352:
351:
343:
338:
334:
330:
329:
323:
319:
318:
312:
308:
304:
300:
296:
291:
286:
282:
278:
277:
269:
265:
260:
256:
255:
247:
242:
241:
233:
230:
228:
225:
224:
218:
216:
212:
208:
204:
203:
197:
195:
191:
187:
183:
179:
175:
171:
167:
163:
159:
155:
151:
147:
143:
139:
135:
134:
123:
121:
117:
113:
109:
101:
98:
94:
90:
87:
84:
82:
78:
71:
68:
66:
62:
59:
56:
52:
49:
45:
41:
38:
34:
31:
28:
24:
17:
1033:expanding it
1026:
980:expanding it
973:
944:
879:
874:
870:
865:
849:
844:
840:
835:
819:
814:
810:
805:
786:
781:
766:
755:
735:
729:
711:
692:
682:
660:
651:
629:
617:
608:
595:
571:
548:
519:cite journal
505:
492:
483:
470:
450:
445:
429:
401:
390:
353:
348:
327:
316:
280:
274:
266:(Aug 1979).
253:
200:
198:
131:
129:
107:
106:
69:
47:
328:Proc. ICALP
264:Zohar Manna
215:Common Lisp
86:Zohar Manna
1072:Categories
869:Review of
839:Review of
809:Review of
747:References
640:0521702380
254:Proc. POPL
166:ENS Cachan
904:Home page
882:(3): 78,
822:: 33–34,
580:cite book
557:cite book
411:cite book
285:CiteSeerX
182:Jerusalem
680:(eds.).
307:17906810
227:New Moon
221:See also
174:Stanford
114:and the
933:at the
908:Video "
858:4027975
650:(ed.).
547:(ed.).
504:(ed.).
388:(ed.).
370:6070052
205:, with
190:Beijing
186:Chicago
152:of the
96:Website
856:
816:Nature
797:
718:
699:
642:, 1997
638:
368:
305:
287:
209:. An
188:, and
74:(1979)
72:
65:Thesis
54:Fields
36:Awards
854:JSTOR
734:, in
600:(PDF)
475:(PDF)
442:(PDF)
384:. In
382:(PDF)
366:S2CID
345:(PDF)
303:S2CID
271:(PDF)
249:(PDF)
178:Paris
162:INRIA
1029:stub
976:stub
920:DBLP
795:ISBN
771:Vita
716:ISBN
697:ISBN
636:ISBN
586:link
563:link
532:help
421:link
417:link
333:LNCS
42:2011
918:at
884:doi
824:doi
820:391
773:at
455:doi
358:doi
295:doi
213:in
1074::
880:20
850:32
789:.
676:;
628:,
582:}}
578:{{
559:}}
555:{{
523::
521:}}
517:{{
444:.
413:}}
409:{{
364:.
354:17
347:.
331:.
301:.
293:.
281:22
279:.
273:.
251:.
184:,
180:,
176:,
168:,
164:,
160:,
122:.
1060:e
1053:t
1046:v
1035:.
1007:e
1000:t
993:v
982:.
890:.
886::
860:.
830:.
826::
724:.
705:.
588:)
565:)
534:)
530:(
463:.
457::
451:3
423:)
372:.
360::
309:.
297::
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.