No photo of Nachum Dershowitz

View Scopus Profile

Nachum Dershowitz

Professor

 https://orcid.org/0000-0003-0363-2735
1975 …2022

Research activity per year

If you made any changes in Pure these will be visible here soon.
Filter
Conference contribution

Search results

  • 1997

    Innocuous constructor-sharing combinations

    Dershowitz, N., 1997, Rewriting Techniques and Applications - 8th International Conference, RTA 1997, Proceedings. Comon, H. (ed.). Springer Verlag, p. 202-216 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1232).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • When are two rewrite systems more than none?

    Dershowitz, N., 1997, Mathematical Foundations of Computer Science 1997 - 22nd International Symposium, MFCS 1997, Proceedings. Privara, I. & Ruzicka, P. (eds.). Springer Verlag, p. 37-43 7 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1295).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • 1995

    33 examples of termination

    Dershowitz, N., 1995, Term Rewriting - French Spring School of Theoretical Computer Science, Advanced Course. Comon, H. & Jouannaud, J-P. (eds.). Springer Verlag, p. 16-26 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 909).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Hierarchical termination

    Dershowitz, N., 1995, Conditional and Typed Rewriting Systems - 4th International Workshop, CTRS 1994, Proceedings. Dershowitz, N. & Lindenstrauss, N. (eds.). Springer Verlag, p. 89-105 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 968).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Problems in rewriting III

    Dershowitz, N., Jouannaud, J. P. & Klop, J. W., 1995, Rewriting Techniques and Applications - 6th Intemational Conference, RTA 1995, Proceedings. Hsiang, J. (ed.). Springer Verlag, p. 457-471 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 914).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • 1994

    From specifications to programs: Induction in the service of synthesis

    Dershowitz, N., 1994, Algorithmic Learning Theory - 4th International Workshop on Analogical and Inductive Inference, AII 1994 and 5th International Workshop on Algorithmic Learning Theory, ALT 1994, Proceedings. Arikawa, S. & Jantke, K. P. (eds.). Springer Verlag, p. 6-7 2 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 872 LNAI).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • 1993

    Debugging logic programs using specifications

    Lee, Y. J. & Dershowitz, N., 1993, Automated and Algorithmic Debugging - 1st International Workshop, AADEBUG 1993, Proceedings. Fritzson, P. A. (ed.). Springer Verlag, p. 75-84 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 749 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Higher-order and semantic unification

    Dershowitz, N. & Mitra, S., 1993, Foundations of Software Technology and Theoretical Computer Science - 13th Conference, Proceedings. Shyamasundar, R. K. (ed.). Springer Verlag, p. 139-150 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 761 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Path orderings for termination of associative-commutative rewriting

    Dershowitz, N. & Mitra, S., 1993, Conditional Term Rewriting Systems - 3rd International Workshop, CTRS 1992, Proceedings. Rusinowitch, M. & Remy, J-L. (eds.). Springer Verlag, p. 168-174 7 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 656 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Semigroups satisfying xm+n = xn

    Dershowitz, N., 1993, Conditional Term Rewriting Systems - 3rd International Workshop, CTRS 1992, Proceedings. Rusinowitch, M. & Remy, J-L. (eds.). Springer Verlag, p. 307-314 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 656 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Trees, ordinals mad termination

    Dershowitz, N., 1993, TAPSOFT 1993: Theory and Practice of Software Development - 4th International Joint Conference CAAP/FASE, Proceedings. Gaudel, M-C. & Jouannaud, J-P. (eds.). Springer Verlag, p. 243-250 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 668 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
  • 1992

    Decidable matching for convergent systems

    Dershowitz, N., Mitra, S. & Sivakumar, G., 1992, Automated Deduction — CADE-11 - 11 th International Conference on Automated Deduction, Proceedings. Kapur, D. (ed.). Springer Verlag, p. 589-602 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 607 LNAI).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Ordinal arithmetic with list structures (Preliminary version)

    Dershowitz, N. & Reingold, E. M., 1992, Logical Foundations of Computer Science — Tver 1992 - 2nd International Symposium, Proceedings. Nerode, A. & Taitslin, M. (eds.). Springer Verlag, p. 117-138 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 620 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • 1991

    A maximal-literal unit strategy for horn clauses

    Dershowitz, N., 1991, Conditional and Typed Rewriting Systems - 2nd International CTRS Workshop, Proceedings. Kaplan, S. & Okada, M. (eds.). Springer Verlag, p. 14-25 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 516 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Canonical sets of horn clauses

    Dershowitz, N., 1991, Automata, Languages and Programming - 18th International Colloquium, Proceedings. Albert, J. L., Artalejo, M. R. & Monien, B. (eds.). Springer Verlag, p. 267-278 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 510 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Open problems in rewriting

    Dershowitz, N., Jouannaud, J. P. & Klop, J. W., 1991, Rewriting Techniques and Applications - 4th International Conference, RTA-1991, Proceedings. Book, R. V. (ed.). Springer Verlag, p. 445-456 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 488 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • 1990

    An abstract concurrent machine for rewriting

    Dershowitz, N. & Lindenstrauss, N., 1990, Algebraic and Logic Programming - 2nd International Conference, Proceedings. Kirchner, H. & Wechler, W. (eds.). Springer Verlag, p. 318-331 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 463 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Equation solving in conditional AC-theories

    Dershowitz, N., Mitra, S. & Sivakumar, G., 1990, Algebraic and Logic Programming - 2nd International Conference, Proceedings. Kirchner, H. & Wechler, W. (eds.). Springer Verlag, p. 283-297 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 463 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Inductive Synthesis of Equational Programs

    Dershowitz, N. & Pinchover, E., 1990, Proceedings of the 8th National Conference on Artificial Intelligence, AAAI 1990. AAAI press, p. 234-239 6 p. (Proceedings of the 8th National Conference on Artificial Intelligence, AAAI 1990).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • 1989

    A critical pair criterion for completion modulo a congruence

    Bachmair, L. & Dershowitz, N., 1989, Eurocal 1987 - European Conference on Computer Algebra , Proceedings. Davenport, J. H. (ed.). Springer Verlag, p. 452-453 2 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 378 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Fast exchange sorts

    Dershowitz, N. & Leong, H. W., 1989, Foundations of Data Organization and Algorithms - 3rd International Conference, FODO 1989, Proceedings. Litwin, W. & Schek, H-J. (eds.). Springer Verlag, p. 101-113 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 367 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Infinite normal forms: Preliminary version

    Dershowitz, N., Kaplan, S. & Plaisted, D. A., 1989, Automata, Languages and Programming - 16th International Colloquium, Proceedings. Dezani-Ciancaglini, M., Della Rocca, S. R. & Ausiello, G. (eds.). Springer Verlag, p. 249-262 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 372 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Rewrite, rewrite, rewrite, rewrite, rewrite ...

    Dershowitz, N. & Kaplan, S., 1989, Conf Rec Sixteenth Annu ACM Symp Princ Program Lang. Association for Computing Machinery (ACM), p. 250-259 10 p. (Conf Rec Sixteenth Annu ACM Symp Princ Program Lang).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • 1988

    Canonical conditional rewrite systems

    Dershowitz, N., Okada, M. & Sivakumar, G., 1988, 9th International Conference on Automated Deduction, Proceedings. Lusk, E. & Overbeek, R. (eds.). Springer Verlag, p. 538-549 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 310 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Confluence of conditional rewrite systems

    Dershowitz, N., Okada, M. & Sivakumar, G., 1988, Conditional Term Rewriting Systems - 1st International Workshop, Proceedings. Kaplan, S. & Jouannaud, J-P. (eds.). Springer Verlag, p. 31-44 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 308 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Goal-Directed Equation Solving

    Dershowitz, N. & Sivakumar, G., 1988, Proceedings of the 7th National Conference on Artificial Intelligence, AAAI 1988. AAAI press, p. 166-170 5 p. (Proceedings of the 7th National Conference on Artificial Intelligence, AAAI 1988).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Proof-theoretic techniques for term rewriting theory.

    Dershowitz, N. & Okada, M., 1988, Proc Third Annu Symp on Logic in Comput Sci. Publ by IEEE, p. 104-111 8 p. (Proc Third Annu Symp on Logic in Comput Sci).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Solving goals in equational languages

    Dershowitz, N. & Sivakumar, G., 1988, Conditional Term Rewriting Systems - 1st International Workshop, Proceedings. Kaplan, S. & Jouannaud, J-P. (eds.). Springer Verlag, p. 45-55 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 308 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • 1987

    Completion for rewriting modulo a congruence

    Bachmair, L. & Dershowitz, N., 1987, Rewriting Techniques and Applications, Proceedings. Lescanne, P. (ed.). Springer Verlag, p. 192-203 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 256 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access

  • DEDUCTIVE DEBUGGING.

    Dershowitz, N. & Lee, Y. J., 1987, Unknown Host Publication Title. IEEE, p. 298-306 9 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • INFERENCE RULES FOR REWRITE-BASED FIRST-ORDER THEOREM PROVING.

    Bachmair, L. & Dershowitz, N., 1987, Unknown Host Publication Title. IEEE, p. 331-337 7 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • 1986

    Commutation, transformation, and termination

    Bachmair, L. & Dershowitz, N., 1986, 8th International Conference on Automated Deduction - Proceedings. Siekmann, J. H. (ed.). Springer Verlag, p. 5-20 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 230 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • IMPLEMENTATION OF NARROWING: THE RITE WAY.

    Josephson, A. & Dershowitz, N., 1986, Unknown Host Publication Title. IEEE, p. 187-197 11 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • ORDERINGS FOR EQUATIONAL PROOFS.

    Bachmair, L., Dershowitz, N. & Hsiang, J., 1986, Unknown Host Publication Title. IEEE, p. 346-357 12 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • 1985

    LOGIC PROGRAMMING CUM APPLICATIVE PROGRAMMING.

    Dershowitz, N. & Plaisted, D. A., 1985, Unknown Host Publication Title. IEEE, p. 54-66 13 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Termination

    Dershowitz, N., 1985, Rewriting Techniques and Applications. Jouannaud, J-P. (ed.). Springer Verlag, p. 180-224 45 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 202 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • 1984

    EQUATIONS AS PROGRAMMING LANGUAGES.

    Dershowitz, N., 1984, Unknown Host Publication Title. IEEE, p. 114-124 11 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • 1983

    ASSOCIATIVE-COMMUTATIVE REWRITING.

    Dershowitz, N., Josephson, N. A., Hsiang, J. & Plaisted, D. A., 1983, Unknown Host Publication Title. Bundy, A. (ed.). p. 940-944 5 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Rewrite methods for clausal and non-clausal theorem proving

    Hsiang, J. & Dershowitz, N., 1983, Automata, Languages and Programming - 10th Colloquium. Diaz, J. (ed.). Springer Verlag, p. 331-346 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 154 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
  • 1981

    Applied tree enumerations

    Dershowitz, N. & Zaks, S., 1981, CAAP 1981: Trees in Algebra and Programming - 6th Colloquium, Proceedings. Astesiano, E. & Bohm, C. (eds.). Springer Verlag, p. 180-193 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 112 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Termination of linear rewriting systems

    Dershowitz, N., 1981, Automata, Languages and Programming - 8th Colloquium. Even, S. & Kariv, O. (eds.). Springer Verlag, p. 448-458 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 115 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access

  • The evolution of programs: Program abstraction and instantiation

    Dershowitz, N., 9 Mar 1981, Proceedings of the 5th International Conference on Software Engineering, ICSE 1981. IEEE Computer Society, p. 79-88 10 p. (Proceedings - International Conference on Software Engineering).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • 1979

    Proving termination with multiset orderings

    Dershowitz, N. & Manna, Z., 1979, Automata, Languages and Programming - 6th Colloquium. Maurer, H. A. (ed.). Springer Verlag, p. 188-202 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 71 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review