×
Author ID: dershowitz.nachum Recent zbMATH articles by "Dershowitz, Nachum"
Published as: Dershowitz, Nachum; Dershowitz, N.; Dershovitz, Nachum
Further Spellings: נחום דרשוביץ
External Links: MGP · Wikidata · dblp · GND · IdRef · theses.fr

Publications by Year

Citations contained in zbMATH Open

118 Publications have been cited 1,897 times in 1,203 Documents Cited by Year
Rewrite systems. Zbl 0900.68283
Dershowitz, Nachum; Jouannaud, Jean-Pierre
437
1990
Termination of rewriting. Zbl 0637.68035
Dershowitz, Nachum
201
1987
Orderings for term-rewriting systems. Zbl 0525.68054
Dershowitz, Nachum
179
1982
Proving termination with multiset orderings. Zbl 0431.68016
Dershowitz, Nachum; Manna, Zohar
170
1979
Enumerations of ordered trees. Zbl 0443.05049
Dershowitz, Nachum; Zaks, Shmuel
41
1980
Rewrite, rewrite, rewrite, rewrite, rewrite, …. Zbl 0759.68044
Dershowitz, Nachum; Kaplan, Stéphane; Plaisted, David A.
37
1991
Commutation, transformation, and termination. Zbl 0642.68036
Bachmair, Leo; Dershowitz, Nachum
36
1986
Rewriting. Zbl 0992.68123
Dershowitz, Nachum; Plaisted, David A.
34
2001
A note on simplification orderings. Zbl 0433.68044
Dershowitz, Nachum
33
1979
The cycle lemma and some applications. Zbl 0715.05004
Dershowitz, Nachum; Zaks, Shmuel
32
1990
A rationale for conditional equational programming. Zbl 0702.68034
Dershowitz, Nachum; Okada, Mitsuhiro
31
1990
Termination of linear rewriting systems. Zbl 0465.68009
Dershowitz, Nachum
30
1981
Rewrite methods for clausal and non-clausal theorem proving. Zbl 0523.68080
Hsiang, Jieh; Dershowitz, Nachum
27
1983
Computing with rewrite systems. Zbl 0584.68020
Dershowitz, Nachum
26
1985
Canonical conditional rewrite systems. Zbl 0667.68043
Dershowitz, Nachum; Okada, Mitsuhiro; Sivakumar, G.
25
1988
Completion for rewriting modulo a congruence. Zbl 0686.68021
Bachmair, Leo; Dershowitz, Nachum
24
1989
Termination. Zbl 0581.68031
Dershowitz, Nachum
23
1985
Critical pair criteria for completion. Zbl 0651.68030
Bachmair, Leo; Dershovitz, Nachum
22
1988
A natural axiomatization of computability and proof of Church’s thesis. Zbl 1167.03027
Dershowitz, Nachum; Gurevich, Yuri
21
2008
Equational inference, canonical proofs, and proof orderings. Zbl 0806.68095
Bachmair, Leo; Dershowitz, Nachum
19
1994
Bounded model checking with QBF. Zbl 1128.68366
Dershowitz, Nachum; Hanna, Ziyad; Katz, Jacob
18
2005
Confluence of conditional rewrite systems. Zbl 0666.68094
Dershowitz, Nachum; Okada, Mitsuhiro; Sivakumar, G.
18
1988
Equational programming. Zbl 0722.68070
Dershowitz, N.; Plaisted, D. A.
18
1988
Notations for rewriting. Zbl 0745.68115
Dershowitz, Nachum; Jouannaud, Jean-Pierre
17
1991
A scalable algorithm for minimal unsatisfiable core extraction. Zbl 1187.68538
Dershowitz, Nachum; Hanna, Ziyad; Nadel, Alexander
16
2006
Ordered trees and non-crossing partitions. Zbl 0646.05004
Dershowitz, Nachum; Zaks, Shmuel
15
1986
Completion for rewriting modulo a congruence. Zbl 0659.68114
Bachmair, Leo; Dershowitz, Nachum
15
1987
Abstract canonical inference. Zbl 1367.03023
Bonacina, Maria Paola; Dershowitz, Nachum
12
2007
Natural termination. Zbl 0873.68103
Dershowitz, Nachum; Hoot, Charles
12
1995
The Church-Turing thesis over arbitrary domains. Zbl 1133.03018
Boker, Udi; Dershowitz, Nachum
12
2008
Open problems in rewriting. Zbl 1503.68100
Dershowitz, Nachum; Jouannaud, Jean-Pierre; Klop, Jan Willem
10
1991
Patterns in trees. Zbl 0725.05034
Dershowitz, Nachum; Zaks, Shmuel
9
1989
Existence, uniqueness, and construction of rewrite systems. Zbl 0658.68029
Dershowitz, Nachum; Marcus, Leo; Tarlecki, Andrzej
9
1988
A general framework for automatic termination analysis od logic programs. Zbl 0977.68052
Dershowitz, Nachum; Lindenstrauss, Naomi; Sagiv, Yehoshua; Serebrenik, Alexander
9
2001
More problems in rewriting. Zbl 1508.68149
Dershowitz, Nachum; Jouannaud, Jean-Pierre; Klop, Jan Willem
9
1993
Comparing computational power. Zbl 1152.03031
Boker, Udi; Dershowitz, Nachum
8
2006
Proving termination with multiset orderings. Zbl 0404.68022
Dershowitz, Nachum; Manna, Zohar
8
1979
Applied tree enumerations. Zbl 0462.68038
Dershowitz, Nachum; Zaks, Shmuel
8
1981
Infinite normal forms. (Preliminary version). Zbl 0686.68019
Dershowitz, Nachum; Kaplan, Stéphane; Plaisted, David A.
7
1989
Rewriting techniques and applications. 3rd international conference, RTA-89, Chapel Hill, NC, USA, April 3–5, 1989. Proceedings. Zbl 0741.68008
7
1989
Abstract canonical presentations. Zbl 1099.03047
Dershowitz, Nachum; Kirchner, Claude
7
2006
Corrigendum to “Termination of rewriting”. Zbl 0637.68036
Dershowitz, Nachum
7
1987
The Hydra battle revisited. Zbl 1181.68161
Dershowitz, Nachum; Moser, Georg
7
2007
Drags: a compositional algebraic framework for graph rewriting. Zbl 1423.68229
Dershowitz, Nachum; Jouannaud, Jean-Pierre
6
2019
Cayley’s formula: a page from the book. Zbl 1391.05134
Avron, Arnon; Dershowitz, Nachum
6
2016
Canonical sets of Horn clauses. Zbl 0785.68079
Dershowitz, Nachum
6
1991
The evolution of programs. Zbl 0642.68002
Dershowitz, Nachum
6
1983
Solving goals in equational languages. Zbl 0666.68093
Dershowitz, Nachum; Sivakumar, G.
6
1988
Pillars of computer science. Essays dedicated to Boris (Boaz) Trakhtenbrot on the occasion of his 85th birthday. Zbl 1132.68002
6
2008
Topics in termination. Zbl 1503.68099
Dershowitz, Nachum; Hoot, Charles
6
1993
Semigroups satisfying \(x^{m+n} = x^n\). Zbl 1508.20065
Dershowitz, Nachum
6
1993
Termination by abstraction. Zbl 1104.68373
Dershowitz, Nachum
5
2004
Open. Closed. Open. Zbl 1078.68653
Dershowitz, Nachum
5
2005
Deductive and inductive synthesis of equational programs. Zbl 0791.68106
Dershowitz, Nachum; Reddy, Uday S.
5
1993
Bounded fairness. Zbl 1274.68181
Dershowitz, Nachum; Jayasimha, D. N.; Park, Seungjoon
5
2003
Canonical ground Horn theories. Zbl 1383.03042
Bonacina, Maria Paola; Dershowitz, Nachum
5
2013
Graph path orderings. Zbl 1415.68116
Dershowitz, Nachum; Jouannaud, Jean-Pierre
4
2018
Three paths to effectiveness. Zbl 1287.68043
Boker, Udi; Dershowitz, Nachum
4
2010
The influence of domain interpretations on computational models. Zbl 1192.68259
Boker, Udi; Dershowitz, Nachum
4
2009
When are two algorithms the same? Zbl 1192.03021
Blass, Andreas; Dershowitz, Nachum; Gurevich, Yuri
4
2009
Inference rules for program annotation. Zbl 0463.68023
Dershowitz, Nachum; Manna, Zohar
4
1981
A simplified loop-free algorithm for generating permutations. Zbl 0317.05006
Dershowitz, Nachum
4
1975
Ordinal arithmetic with list structures. Zbl 0977.68530
Dershowitz, N.; Reingold, E. M.
4
1992
An implementation of narrowing. Zbl 0668.68112
Josephson, Alan; Dershowitz, Nachum
4
1989
Problems in rewriting. III. Zbl 1504.68089
Dershowitz, Nachum; Jouannaud, Jean-Pierre; Klop, Jan Willem
4
1995
Axiomatizing analog algorithms. Zbl 1475.68460
Bournez, Olivier; Dershowitz, Nachum; Néron, Pierre
3
2016
Gap embedding for well-quasi-orderings. Zbl 1264.03095
Dershowitz, Nachum; Tzameret, Iddo
3
2003
How to compare the power of computational models. Zbl 1113.68396
Boker, Udi; Dershowitz, Nachum
3
2005
Ordering-based strategies for Horn clauses. Zbl 0745.68089
Dershowitz, Nachum
3
1991
More patterns in trees: up and down, young and old, odd and even. Zbl 1242.05125
Dershowitz, Nachum; Zaks, Shmuel
3
2009
Trees, ordinals and termination. Zbl 1497.68140
Dershowitz, Nachum
3
1993
A maximal-literal unit strategy for Horn clauses. Zbl 1507.68337
Dershowitz, Nachum
3
1991
On the parallel computation thesis. Zbl 1407.68186
Dershowitz, Nachum; Falkovich-Derzhavetz, Evgenia
2
2016
Fields of logic and computation II. Essays dedicated to Yuri Gurevich on the occasion of his 75th birthday. Zbl 1321.03008
2
2015
Language, culture, computation. Computing – theory and technology. Essays dedicated to Yaacov Choueka on the occasion of his 75th birthday, Part I. Zbl 1302.68011
2
2014
Abstract effective models. Zbl 1272.68127
Boker, Udi; Dershowitz, Nachum
2
2006
Honest universality. Zbl 1328.68062
Dershowitz, Nachum; Falkovich, Evgenia
2
2012
Confluence by critical pair analysis. Zbl 1416.68094
Liu, Jiaxiang; Dershowitz, Nachum; Jouannaud, Jean-Pierre
2
2014
A hypercomputational alien. Zbl 1110.68040
Boker, Udi; Dershowitz, Nachum
2
2006
Fields of logic and computation. Essays dedicated to Yuri Gurevich on the occasion of his 70th birthday. Zbl 1194.03003
2
2010
Towards an axiomatization of simple analog algorithms. Zbl 1354.68077
Bournez, Olivier; Dershowitz, Nachum; Falkovich, Evgenia
2
2012
Verification: Theory and practice. Essays dedicated to Zohar Manna on the occasion of his 64th birthday. Zbl 1045.68009
2
2003
Fields of logic and computation III. Essays dedicated to Yuri Gurevich on the occasion of his 80th birthday. Zbl 1498.03010
2
2020
The generic model of computation. Zbl 1459.68059
Dershowitz, Nachum
2
2012
A formalization and proof of the extended Church-Turing thesis (extended abstract). Zbl 1459.68060
Dershowitz, Nachum; Falkovich, Evgenia
2
2012
An abstract concurrent machine for rewriting. Zbl 1493.68173
Dershowitz, Nachum; Lindenstrauss, Naomi
2
1990
Canonicity. Zbl 1261.68098
Dershowitz, Nachum
2
2003
Boris (Boaz) Trakhtenbrot (1921–2016). Zbl 1409.01033
Dershowitz, Nachum
1
2016
Touchard’s Drunkard. Zbl 1352.05014
Dershowitz, Nachum
1
2017
Innocuous constructor-sharing combinations. Zbl 1379.68195
Dershowitz, Nachum
1
1997
Complexity of propositional proofs under a promise. Zbl 1351.03057
Dershowitz, Nachum; Tzameret, Iddo
1
2010
A clause-based heuristic for SAT solvers. Zbl 1128.68461
Dershowitz, Nachum; Hanna, Ziyad; Nadel, Alexander
1
2005
Exact exploration and hanging algorithms. Zbl 1287.68042
Blass, Andreas; Dershowitz, Nachum; Gurevich, Yuri
1
2010
Unconventional computation. 8th international conference, UC 2009, Ponta Delgada, Portugal, September 7–11, 2009. Proceedings. Zbl 1173.68004
1
2009
On lazy commutation. Zbl 1241.68075
Dershowitz, Nachum
1
2009
The Schorr-Waite marking algorithm revisited. Zbl 0447.68073
Dershowitz, Nachum
1
1980
Patterns in trees. Zbl 0547.05027
Dershowitz, Nachum; Zaks, Shmuel
1
1984
The evolution of programs: automatic program modification. Zbl 0361.68024
Dershowitz, Nachum; Manna, Zohar
1
1977
Higher-order and semantic unification. Zbl 0925.03146
Dershowitz, Nachum; Mitra, Subrata
1
1993
Synthetic programming. Zbl 0557.68014
Dershowitz, Nachum
1
1985
What is the Church-Turing thesis? Zbl 07632456
Boker, Udi; Dershowitz, Nachum
1
2022
Between Broadway and the Hudson: a bijection of corridor paths. Zbl 1460.05011
Dershowitz, Nachum
1
2021
The communication complexity of multiparty set disjointness under product distributions. Zbl 07765242
Dershowitz, Nachum; Oshman, Rotem; Roth, Tal
1
2021
Fields of logic and computation III. Essays dedicated to Yuri Gurevich on the occasion of his 80th birthday. Zbl 1498.03010
2
2020
Nonleaf patterns in trees: protected nodes and fine numbers. Zbl 1445.05010
Dershowitz, Nachum
1
2020
Drags: a compositional algebraic framework for graph rewriting. Zbl 1423.68229
Dershowitz, Nachum; Jouannaud, Jean-Pierre
6
2019
Graph path orderings. Zbl 1415.68116
Dershowitz, Nachum; Jouannaud, Jean-Pierre
4
2018
Calendrical calculations. The ultimate edition. 4th updated and expanded edition. Zbl 1403.01001
Reingold, Edward M.; Dershowitz, Nachum
1
2018
Touchard’s Drunkard. Zbl 1352.05014
Dershowitz, Nachum
1
2017
Cayley’s formula: a page from the book. Zbl 1391.05134
Avron, Arnon; Dershowitz, Nachum
6
2016
Axiomatizing analog algorithms. Zbl 1475.68460
Bournez, Olivier; Dershowitz, Nachum; Néron, Pierre
3
2016
On the parallel computation thesis. Zbl 1407.68186
Dershowitz, Nachum; Falkovich-Derzhavetz, Evgenia
2
2016
Boris (Boaz) Trakhtenbrot (1921–2016). Zbl 1409.01033
Dershowitz, Nachum
1
2016
Honest computability and complexity. Zbl 1439.03074
Boker, Udi; Dershowitz, Nachum
1
2016
Fields of logic and computation II. Essays dedicated to Yuri Gurevich on the occasion of his 75th birthday. Zbl 1321.03008
2
2015
Language, culture, computation. Computing – theory and technology. Essays dedicated to Yaacov Choueka on the occasion of his 75th birthday, Part I. Zbl 1302.68011
2
2014
Confluence by critical pair analysis. Zbl 1416.68094
Liu, Jiaxiang; Dershowitz, Nachum; Jouannaud, Jean-Pierre
2
2014
Canonical ground Horn theories. Zbl 1383.03042
Bonacina, Maria Paola; Dershowitz, Nachum
5
2013
Honest universality. Zbl 1328.68062
Dershowitz, Nachum; Falkovich, Evgenia
2
2012
Towards an axiomatization of simple analog algorithms. Zbl 1354.68077
Bournez, Olivier; Dershowitz, Nachum; Falkovich, Evgenia
2
2012
The generic model of computation. Zbl 1459.68059
Dershowitz, Nachum
2
2012
A formalization and proof of the extended Church-Turing thesis (extended abstract). Zbl 1459.68060
Dershowitz, Nachum; Falkovich, Evgenia
2
2012
Jumping and escaping: modular termination and the abstract path ordering. Zbl 1253.68193
Dershowitz, Nachum
1
2012
Three paths to effectiveness. Zbl 1287.68043
Boker, Udi; Dershowitz, Nachum
4
2010
Fields of logic and computation. Essays dedicated to Yuri Gurevich on the occasion of his 70th birthday. Zbl 1194.03003
2
2010
Complexity of propositional proofs under a promise. Zbl 1351.03057
Dershowitz, Nachum; Tzameret, Iddo
1
2010
Exact exploration and hanging algorithms. Zbl 1287.68042
Blass, Andreas; Dershowitz, Nachum; Gurevich, Yuri
1
2010
The influence of domain interpretations on computational models. Zbl 1192.68259
Boker, Udi; Dershowitz, Nachum
4
2009
When are two algorithms the same? Zbl 1192.03021
Blass, Andreas; Dershowitz, Nachum; Gurevich, Yuri
4
2009
More patterns in trees: up and down, young and old, odd and even. Zbl 1242.05125
Dershowitz, Nachum; Zaks, Shmuel
3
2009
Unconventional computation. 8th international conference, UC 2009, Ponta Delgada, Portugal, September 7–11, 2009. Proceedings. Zbl 1173.68004
1
2009
On lazy commutation. Zbl 1241.68075
Dershowitz, Nachum
1
2009
A natural axiomatization of computability and proof of Church’s thesis. Zbl 1167.03027
Dershowitz, Nachum; Gurevich, Yuri
21
2008
The Church-Turing thesis over arbitrary domains. Zbl 1133.03018
Boker, Udi; Dershowitz, Nachum
12
2008
Pillars of computer science. Essays dedicated to Boris (Boaz) Trakhtenbrot on the occasion of his 85th birthday. Zbl 1132.68002
6
2008
Canonicity! Zbl 1165.03311
Dershowitz, Nachum
1
2008
Canonical inference for implicational systems. Zbl 1165.03309
Bonacina, Maria Paola; Dershowitz, Nachum
1
2008
Boris A. Trakhtenbrot: Academic genealogy and publications. Zbl 1132.01303
Avron, Arnon; Dershowitz, Nachum; Rabinovich, Alexander
1
2008
Abstract canonical inference. Zbl 1367.03023
Bonacina, Maria Paola; Dershowitz, Nachum
12
2007
The Hydra battle revisited. Zbl 1181.68161
Dershowitz, Nachum; Moser, Georg
7
2007
Logic for programming, artificial intelligence, and reasoning. 14th international conference, LPAR 2007, Yerevan, Armenia, October 15–19, 2007. Proceedings. Zbl 1136.68004
1
2007
A scalable algorithm for minimal unsatisfiable core extraction. Zbl 1187.68538
Dershowitz, Nachum; Hanna, Ziyad; Nadel, Alexander
16
2006
Comparing computational power. Zbl 1152.03031
Boker, Udi; Dershowitz, Nachum
8
2006
Abstract canonical presentations. Zbl 1099.03047
Dershowitz, Nachum; Kirchner, Claude
7
2006
Abstract effective models. Zbl 1272.68127
Boker, Udi; Dershowitz, Nachum
2
2006
A hypercomputational alien. Zbl 1110.68040
Boker, Udi; Dershowitz, Nachum
2
2006
Boolean rings for intersection-based satisfiability. Zbl 1165.03312
Dershowitz, Nachum; Hsiang, Jieh; Huang, Guan-Shieng; Kaiss, Daher
1
2006
Bounded model checking with QBF. Zbl 1128.68366
Dershowitz, Nachum; Hanna, Ziyad; Katz, Jacob
18
2005
Open. Closed. Open. Zbl 1078.68653
Dershowitz, Nachum
5
2005
How to compare the power of computational models. Zbl 1113.68396
Boker, Udi; Dershowitz, Nachum
3
2005
A clause-based heuristic for SAT solvers. Zbl 1128.68461
Dershowitz, Nachum; Hanna, Ziyad; Nadel, Alexander
1
2005
The four sons of Penrose. Zbl 1143.68511
Dershowitz, Nachum
1
2005
Termination by abstraction. Zbl 1104.68373
Dershowitz, Nachum
5
2004
Bounded fairness. Zbl 1274.68181
Dershowitz, Nachum; Jayasimha, D. N.; Park, Seungjoon
5
2003
Gap embedding for well-quasi-orderings. Zbl 1264.03095
Dershowitz, Nachum; Tzameret, Iddo
3
2003
Verification: Theory and practice. Essays dedicated to Zohar Manna on the occasion of his 64th birthday. Zbl 1045.68009
2
2003
Canonicity. Zbl 1261.68098
Dershowitz, Nachum
2
2003
Rewriting. Zbl 0992.68123
Dershowitz, Nachum; Plaisted, David A.
34
2001
A general framework for automatic termination analysis od logic programs. Zbl 0977.68052
Dershowitz, Nachum; Lindenstrauss, Naomi; Sagiv, Yehoshua; Serebrenik, Alexander
9
2001
Calendrical calculations. With 1 CD-ROM (Windows, Macintosh). The millennium edition. Zbl 1004.01001
Reingold, Edward M.; Dershowitz, Nachum
1
2001
Innocuous constructor-sharing combinations. Zbl 1379.68195
Dershowitz, Nachum
1
1997
Calendrical calculations. Zbl 0894.01023
Dershowitz, Nachum; Reingold, Edward M.
1
1997
Natural termination. Zbl 0873.68103
Dershowitz, Nachum; Hoot, Charles
12
1995
Problems in rewriting. III. Zbl 1504.68089
Dershowitz, Nachum; Jouannaud, Jean-Pierre; Klop, Jan Willem
4
1995
Equational inference, canonical proofs, and proof orderings. Zbl 0806.68095
Bachmair, Leo; Dershowitz, Nachum
19
1994
More problems in rewriting. Zbl 1508.68149
Dershowitz, Nachum; Jouannaud, Jean-Pierre; Klop, Jan Willem
9
1993
Topics in termination. Zbl 1503.68099
Dershowitz, Nachum; Hoot, Charles
6
1993
Semigroups satisfying \(x^{m+n} = x^n\). Zbl 1508.20065
Dershowitz, Nachum
6
1993
Deductive and inductive synthesis of equational programs. Zbl 0791.68106
Dershowitz, Nachum; Reddy, Uday S.
5
1993
Trees, ordinals and termination. Zbl 1497.68140
Dershowitz, Nachum
3
1993
Higher-order and semantic unification. Zbl 0925.03146
Dershowitz, Nachum; Mitra, Subrata
1
1993
Path orderings for termination of associative-commutative rewriting. Zbl 1508.68150
Dershowitz, Nachum; Mitra, Subrata
1
1993
Ordinal arithmetic with list structures. Zbl 0977.68530
Dershowitz, N.; Reingold, E. M.
4
1992
Rewriting methods for word problems. Zbl 0875.03083
Dershowitz, Nachum
1
1992
Rewrite, rewrite, rewrite, rewrite, rewrite, …. Zbl 0759.68044
Dershowitz, Nachum; Kaplan, Stéphane; Plaisted, David A.
37
1991
Notations for rewriting. Zbl 0745.68115
Dershowitz, Nachum; Jouannaud, Jean-Pierre
17
1991
Open problems in rewriting. Zbl 1503.68100
Dershowitz, Nachum; Jouannaud, Jean-Pierre; Klop, Jan Willem
10
1991
Canonical sets of Horn clauses. Zbl 0785.68079
Dershowitz, Nachum
6
1991
Ordering-based strategies for Horn clauses. Zbl 0745.68089
Dershowitz, Nachum
3
1991
A maximal-literal unit strategy for Horn clauses. Zbl 1507.68337
Dershowitz, Nachum
3
1991
Rewrite systems. Zbl 0900.68283
Dershowitz, Nachum; Jouannaud, Jean-Pierre
437
1990
The cycle lemma and some applications. Zbl 0715.05004
Dershowitz, Nachum; Zaks, Shmuel
32
1990
A rationale for conditional equational programming. Zbl 0702.68034
Dershowitz, Nachum; Okada, Mitsuhiro
31
1990
An abstract concurrent machine for rewriting. Zbl 1493.68173
Dershowitz, Nachum; Lindenstrauss, Naomi
2
1990
Completion for rewriting modulo a congruence. Zbl 0686.68021
Bachmair, Leo; Dershowitz, Nachum
24
1989
Patterns in trees. Zbl 0725.05034
Dershowitz, Nachum; Zaks, Shmuel
9
1989
Infinite normal forms. (Preliminary version). Zbl 0686.68019
Dershowitz, Nachum; Kaplan, Stéphane; Plaisted, David A.
7
1989
Rewriting techniques and applications. 3rd international conference, RTA-89, Chapel Hill, NC, USA, April 3–5, 1989. Proceedings. Zbl 0741.68008
7
1989
An implementation of narrowing. Zbl 0668.68112
Josephson, Alan; Dershowitz, Nachum
4
1989
Canonical conditional rewrite systems. Zbl 0667.68043
Dershowitz, Nachum; Okada, Mitsuhiro; Sivakumar, G.
25
1988
Critical pair criteria for completion. Zbl 0651.68030
Bachmair, Leo; Dershovitz, Nachum
22
1988
Confluence of conditional rewrite systems. Zbl 0666.68094
Dershowitz, Nachum; Okada, Mitsuhiro; Sivakumar, G.
18
1988
Equational programming. Zbl 0722.68070
Dershowitz, N.; Plaisted, D. A.
18
1988
Existence, uniqueness, and construction of rewrite systems. Zbl 0658.68029
Dershowitz, Nachum; Marcus, Leo; Tarlecki, Andrzej
9
1988
Solving goals in equational languages. Zbl 0666.68093
Dershowitz, Nachum; Sivakumar, G.
6
1988
Termination of rewriting. Zbl 0637.68035
Dershowitz, Nachum
201
1987
Completion for rewriting modulo a congruence. Zbl 0659.68114
Bachmair, Leo; Dershowitz, Nachum
15
1987
Corrigendum to “Termination of rewriting”. Zbl 0637.68036
Dershowitz, Nachum
7
1987
Commutation, transformation, and termination. Zbl 0642.68036
Bachmair, Leo; Dershowitz, Nachum
36
1986
Ordered trees and non-crossing partitions. Zbl 0646.05004
Dershowitz, Nachum; Zaks, Shmuel
15
1986
...and 18 more Documents
all top 5

Cited by 1,220 Authors

45 Dershowitz, Nachum
31 Middeldorp, Aart
29 Meseguer Guaita, José
21 Lucas, Salvador
20 Bonacina, Maria Paola
20 Jouannaud, Jean-Pierre
17 Klop, Jan Willem
15 Narendran, Paliath
15 Rusinowitch, Michaël
15 Zantema, Hans
13 Kapur, Deepak
13 Martin, Ursula
12 Fernández, Maribel
12 Gramlich, Bernhard
12 Kirchner, Hélène
11 Comon, Hubert
11 Giesl, Jürgen
11 Otto, Friedrich
10 Alpuente, María
10 Hofbauer, Dieter
10 Kirchner, Claude
10 Nieuwenhuis, Robert
10 Rubio, Albert
10 Toyama, Yoshihito
10 Treinen, Ralf
9 Dougherty, Daniel J.
9 Endrullis, Jörg
9 Hsiang, Jieh
9 Jacquemard, Florent
9 Martí-Oliet, Narciso
9 Snyder, Wayne
8 Escobar, Santiago
8 Gurevich, Yuri
8 Hirokawa, Nao
8 Lescanne, Pierre
8 Nipkow, Tobias
8 Sakai, Masahiko
8 Schmidt-Schauß, Manfred
8 Weidenbach, Christoph
8 Winkler, Sarah
7 Bachmair, Leo
7 Blanqui, Frédéric
7 Geser, Alfons
7 Plump, Detlef
7 Reddy, Uday S.
7 Steinbach, Joachim
7 van Oostrom, Vincent
7 Vidal, Germán
7 Waldmann, Uwe
6 Antoy, Sergio
6 Boker, Udi
6 Bouhoula, Adel
6 Bündgen, Reinhard
6 Durán, Francisco
6 Falaschi, Moreno
6 Ganzinger, Harald
6 Hermann, Miki
6 Iborra, José
6 Iemhoff, Rosalie
6 Kounalis, Emmanuel
6 Metcalfe, George
6 Plaisted, David Alan
6 Rao, M. R. K. Krishna
6 Sénizergues, Géraud
6 Verma, Rakesh M.
6 Voronkov, Andrei
6 Waldmann, Johannes
5 Boudet, Alexandre
5 Contejean, Evelyne
5 Corradini, Andrea
5 De Schreye, Danny
5 de Vrijer, Roel
5 Delaune, Stéphanie
5 Dowek, Gilles
5 Eker, Steven
5 Gallier, Jean H.
5 Gutiérrez, Raúl
5 Inverardi, Paola
5 Kurihara, Masahito
5 Lynch, Christopher A.
5 Marché, Claude
5 Ohlebusch, Enno
5 Overbeek, Roy
5 Oyamaguchi, Michio
5 Ranise, Silvio
5 Schneider-Kamp, Peter
5 Vágvölgyi, Sándor
5 van Bakel, Steffen
5 Zhang, Hantao
4 Alonso, Laurent
4 Antimirov, Valentin M.
4 Armando, Alessandro
4 Avenhaus, Jürgen
4 Baader, Franz
4 Bronsard, Francois
4 Cantone, Domenico
4 Chen, William Yong-Chuan
4 Coquidé, Jean-Luc
4 Dauchet, Max
4 de Moura, Leonardo
...and 1,120 more Authors
all top 5

Cited in 129 Serials

182 Theoretical Computer Science
71 Journal of Symbolic Computation
69 Information and Computation
58 Journal of Automated Reasoning
31 Information Processing Letters
21 Discrete Mathematics
19 Applicable Algebra in Engineering, Communication and Computing
15 Journal of Logical and Algebraic Methods in Programming
14 Annals of Pure and Applied Logic
14 Logical Methods in Computer Science
12 Artificial Intelligence
11 Mathematical Structures in Computer Science
11 The Journal of Logic and Algebraic Programming
10 Acta Informatica
9 Journal of Computer and System Sciences
8 Journal of Pure and Applied Algebra
7 European Journal of Combinatorics
7 Formal Methods in System Design
6 Formal Aspects of Computing
6 International Journal of Computer Mathematics
5 The Journal of Symbolic Logic
5 RAIRO. Informatique Théorique et Applications
5 Annals of Mathematics and Artificial Intelligence
5 Theory and Practice of Logic Programming
4 Discrete Applied Mathematics
4 Algebra Universalis
4 Applied Mathematics and Computation
4 Journal of Combinatorial Theory. Series A
4 Advances in Applied Mathematics
4 Journal of Functional Programming
4 Fundamenta Informaticae
3 Advances in Mathematics
3 Fuzzy Sets and Systems
3 RAIRO, Informatique Théorique
3 Studia Logica
3 Journal of Computer Science and Technology
3 Algorithmica
3 International Journal of Foundations of Computer Science
3 Archive for Mathematical Logic
3 The Electronic Journal of Combinatorics
3 The Bulletin of Symbolic Logic
3 Theory of Computing Systems
3 Annals of Combinatorics
3 RAIRO. Theoretical Informatics and Applications
3 Journal of Applied Logic
3 The Review of Symbolic Logic
2 BIT
2 Cahiers de Topologie et Géométrie Différentielle Catégoriques
2 Journal of Statistical Planning and Inference
2 Mathematical Systems Theory
2 Notre Dame Journal of Formal Logic
2 Proceedings of the American Mathematical Society
2 Semigroup Forum
2 Graphs and Combinatorics
2 New Generation Computing
2 AI Communications
2 International Journal of Algebra and Computation
2 Discrete Event Dynamic Systems
2 Distributed Computing
2 Experimental Mathematics
2 Combinatorics, Probability and Computing
2 Discrete Mathematics and Theoretical Computer Science. DMTCS
2 Philosophical Transactions of the Royal Society of London. Series A. Mathematical, Physical and Engineering Sciences
2 Journal of Integer Sequences
2 Higher-Order and Symbolic Computation
2 ACM Transactions on Computational Logic
2 Mathematics in Computer Science
2 Logica Universalis
2 RAIRO. Theoretical Informatics and Applications
1 American Mathematical Monthly
1 Communications in Algebra
1 Indian Journal of Pure & Applied Mathematics
1 Periodica Mathematica Hungarica
1 Russian Mathematical Surveys
1 Mathematics of Computation
1 Bulletin of Mathematical Biology
1 Bulletin of the London Mathematical Society
1 Czechoslovak Mathematical Journal
1 Journal of Algebra
1 Journal of Combinatorial Theory. Series B
1 Journal of Computational and Applied Mathematics
1 Journal of Philosophical Logic
1 Journal of Soviet Mathematics
1 Memoirs of the American Mathematical Society
1 Monatshefte für Mathematik
1 SIAM Journal on Computing
1 Transactions of the American Mathematical Society
1 Topology and its Applications
1 Science of Computer Programming
1 Insurance Mathematics & Economics
1 SIAM Journal on Algebraic and Discrete Methods
1 Combinatorica
1 Discrete & Computational Geometry
1 International Journal of Approximate Reasoning
1 Journal of Theoretical Probability
1 Journal of the American Mathematical Society
1 SIAM Journal on Discrete Mathematics
1 Machine Learning
1 Random Structures & Algorithms
1 JETAI. Journal of Experimental & Theoretical Artificial Intelligence
...and 29 more Serials
all top 5

Cited in 36 Fields

1,011 Computer science (68-XX)
385 Mathematical logic and foundations (03-XX)
100 Combinatorics (05-XX)
38 Group theory and generalizations (20-XX)
32 Order, lattices, ordered algebraic structures (06-XX)
32 General algebraic systems (08-XX)
30 Category theory; homological algebra (18-XX)
17 Information and communication theory, circuits (94-XX)
12 Probability theory and stochastic processes (60-XX)
10 Number theory (11-XX)
8 History and biography (01-XX)
7 General and overarching topics; collections (00-XX)
7 Commutative algebra (13-XX)
6 Linear and multilinear algebra; matrix theory (15-XX)
6 Associative rings and algebras (16-XX)
6 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
5 Nonassociative rings and algebras (17-XX)
5 Convex and discrete geometry (52-XX)
5 Biology and other natural sciences (92-XX)
4 Field theory and polynomials (12-XX)
4 Algebraic topology (55-XX)
4 Manifolds and cell complexes (57-XX)
3 Numerical analysis (65-XX)
3 Operations research, mathematical programming (90-XX)
2 Algebraic geometry (14-XX)
2 Statistics (62-XX)
1 Real functions (26-XX)
1 Functions of a complex variable (30-XX)
1 Ordinary differential equations (34-XX)
1 Approximations and expansions (41-XX)
1 Integral transforms, operational calculus (44-XX)
1 Functional analysis (46-XX)
1 Geometry (51-XX)
1 General topology (54-XX)
1 Statistical mechanics, structure of matter (82-XX)
1 Systems theory; control (93-XX)

Citations by Year

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.