×

zbMATH — the first resource for mathematics

Musser, David R.

Compute Distance To:
Author ID: musser.david-r Recent zbMATH articles by "Musser, David R."
Published as: Musser, David R.; Musser, David; Musser, D. R.
External Links: MGP · Wikidata · IdRef
Documents Indexed: 24 Publications since 1969, including 3 Books

Publications by Year

Citations contained in zbMATH Open

15 Publications have been cited 144 times in 132 Documents Cited by Year
Abstract data types and software validation. Zbl 0387.68012
Guttag, John V.; Horowitz, Ellis; Musser, David R.
38
1978
Proof by consistency. Zbl 0631.68073
Kapur, Deepak; Musser, David R.
22
1987
Multivariate polynomial factorization. Zbl 0301.65029
Musser, David R.
21
1975
Only prime superpositions need be considered in the Knuth-Bendix completion procedure. Zbl 0651.68029
Kapur, Deepak; Musser, David R.; Narendran, Paliath
14
1988
On proving uniform termination and restricted termination of rewriting systems. Zbl 0526.68036
Guttag, J. V.; Kapur, D.; Musser, D. R.
13
1983
Abstract data type specification in the AFFIRM system. Zbl 0431.68022
Musser, David R.
9
1980
A generalized class of polynomials that are hard to factor. Zbl 0529.68018
Kaltofen, Erich; Musser, David R.; Saunders, B. David
6
1983
An overview of the Tecton proof system. Zbl 0938.68823
Kapur, D.; Nie, X.; Musser, D. R.
6
1994
On the efficiency of a polynomial irreducibility test. Zbl 0372.68014
Musser, David R.
6
1978
The Ada generic library. Linear list processing packages. Zbl 0749.68003
Musser, David R.; Stepanov, Alexander A.
2
1989
The AFFIRM theorem prover: Proof forests and management of large proofs. Zbl 0438.68046
Erickson, Roddy W.; Musser, David R.
2
1980
Semi-unification. Zbl 0732.68063
Kapur, Deepak; Musser, David; Narendran, Paliath; Stillman, Jonathan
2
1991
Semi-unification. Zbl 0667.68042
Kapur, Deepak; Musser, David; Narendran, Paliath; Stillman, Jonathan
1
1988
Generic Gram-Schmidt orthogonalization by exact division. Zbl 0914.65038
Erlingsson, Úlfar; Kaltofen, Erich; Musser, David
1
1996
User-extensible simplification — type-based optimizer generators. Zbl 0987.68867
Schupp, Sibylle; Gregor, Douglas; Musser, David; Liu, Shin-Ming
1
2001
User-extensible simplification — type-based optimizer generators. Zbl 0987.68867
Schupp, Sibylle; Gregor, Douglas; Musser, David; Liu, Shin-Ming
1
2001
Generic Gram-Schmidt orthogonalization by exact division. Zbl 0914.65038
Erlingsson, Úlfar; Kaltofen, Erich; Musser, David
1
1996
An overview of the Tecton proof system. Zbl 0938.68823
Kapur, D.; Nie, X.; Musser, D. R.
6
1994
Semi-unification. Zbl 0732.68063
Kapur, Deepak; Musser, David; Narendran, Paliath; Stillman, Jonathan
2
1991
The Ada generic library. Linear list processing packages. Zbl 0749.68003
Musser, David R.; Stepanov, Alexander A.
2
1989
Only prime superpositions need be considered in the Knuth-Bendix completion procedure. Zbl 0651.68029
Kapur, Deepak; Musser, David R.; Narendran, Paliath
14
1988
Semi-unification. Zbl 0667.68042
Kapur, Deepak; Musser, David; Narendran, Paliath; Stillman, Jonathan
1
1988
Proof by consistency. Zbl 0631.68073
Kapur, Deepak; Musser, David R.
22
1987
On proving uniform termination and restricted termination of rewriting systems. Zbl 0526.68036
Guttag, J. V.; Kapur, D.; Musser, D. R.
13
1983
A generalized class of polynomials that are hard to factor. Zbl 0529.68018
Kaltofen, Erich; Musser, David R.; Saunders, B. David
6
1983
Abstract data type specification in the AFFIRM system. Zbl 0431.68022
Musser, David R.
9
1980
The AFFIRM theorem prover: Proof forests and management of large proofs. Zbl 0438.68046
Erickson, Roddy W.; Musser, David R.
2
1980
Abstract data types and software validation. Zbl 0387.68012
Guttag, John V.; Horowitz, Ellis; Musser, David R.
38
1978
On the efficiency of a polynomial irreducibility test. Zbl 0372.68014
Musser, David R.
6
1978
Multivariate polynomial factorization. Zbl 0301.65029
Musser, David R.
21
1975
all top 5

Cited by 177 Authors

11 Kapur, Deepak
8 Narendran, Paliath
5 Zhang, Hantao
4 Dershowitz, Nachum
4 Padawitz, Peter
3 Bouhoula, Adel
3 Kaltofen, Erich L.
3 Lescanne, Pierre
3 Reddy, Uday S.
2 Bachmair, Leo
2 Bergstra, Jan A.
2 Blum, Edward Kenneth
2 Bronsard, Francois
2 Fuhs, Carsten
2 Gao, Shuhong
2 Giesl, Jürgen
2 Hasker, Robert W.
2 Hsiang, Jieh
2 Jouannaud, Jean-Pierre
2 Krishnamoorthy, Mukkai S.
2 Lucas, Salvador
2 Lynch, Nancy Ann
2 Mastorakis, Nikos E.
2 Meseguer Guaita, José
2 Middeldorp, Aart
2 Musser, David R.
2 Nieuwenhuis, Robert
2 Oyamaguchi, Michio
2 Parting, Michael
2 Sannella, Donald T.
2 Schneider-Kamp, Peter
2 Snyder, Wayne
2 Swiderski, Stephan
2 Theodorou, Nickolas J.
2 Thiemann, René
2 Tzafestas, Spyros G.
2 Viry, Guy
2 von zur Gathen, Joachim
2 Wand, Mitchell
2 Wang, Paul S.
2 Winkler, Sarah
1 Abu Salem, Fatima K.
1 Anantharaman, Siva
1 Armando, Alessandro
1 Arnon, Dennis S.
1 Bauer, Friedrich Ludwig
1 Bellia, Marco
1 Bonacina, Maria Paola
1 Borzov, Yu. V.
1 Bostan, Alin
1 Bottesch, Ralph Christian
1 Brandl, Rolf
1 Briales, Emilio
1 Brito, Gerandy
1 Broy, Manfred
1 Buchberger, Bruno
1 Bündgen, Reinhard
1 Burstall, Rod M.
1 Callegarin, G.
1 Caviness, Bob F.
1 Chazarain, Jacques
1 Chen, Jingwei
1 Comon, Hubert
1 Correll, Claus H.
1 Cvetkovic, Dragos M.
1 Danvy, Olivier
1 Davenport, James Harold
1 Diarra, Nafissatou
1 Divasón, Jose
1 Dos Reis, Gabriel
1 Ehrig, Hartmut
1 Feng, Yong
1 Fernández, Maribel
1 Flajolet, Philippe
1 Fowler, Christopher F.
1 Geser, Alfons
1 Goguen, Joseph Amadee
1 Gramlich, Bernhard
1 Gu, Guoxiang
1 Gunji, Hiroshi
1 Gutiérrez, Raúl
1 Harper, Robert
1 Haslbeck, Max W.
1 Heering, Jan
1 Henglein, Fritz
1 Hermann, Miki
1 Hirsch, Edward A.
1 Honda, Michio
1 Hua, Gary Xin
1 Johannsen, Jacob
1 Joosten, Sebastiaan J. C.
1 Junge, Matthew
1 Kalnin’sh, A. A.
1 Kirchner, Claude
1 Klaeren, Herbert A.
1 Kounalis, Emmanuel
1 Kreowski, Hans-Jörg
1 Krishnamurthy, E.v.
1 Kurihara, Masahito
1 Lauder, Alan G. B.
...and 77 more Authors

Citations by Year

Wikidata Timeline

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