×
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 · GND · IdRef
Documents Indexed: 24 Publications since 1969, including 3 Books
Co-Authors: 18 Co-Authors with 21 Joint Publications
309 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

15 Publications have been cited 187 times in 167 Documents Cited by Year
Abstract data types and software validation. Zbl 0387.68012
Guttag, John V.; Horowitz, Ellis; Musser, David R.
44
1978
Proof by consistency. Zbl 0631.68073
Kapur, Deepak; Musser, David R.
30
1987
Multivariate polynomial factorization. Zbl 0301.65029
Musser, David R.
28
1975
Only prime superpositions need be considered in the Knuth-Bendix completion procedure. Zbl 0651.68029
Kapur, Deepak; Musser, David R.; Narendran, Paliath
23
1988
On proving uniform termination and restricted termination of rewriting systems. Zbl 0526.68036
Guttag, J. V.; Kapur, D.; Musser, D. R.
18
1983
Abstract data type specification in the AFFIRM system. Zbl 0431.68022
Musser, David R.
10
1980
On the efficiency of a polynomial irreducibility test. Zbl 0372.68014
Musser, David R.
8
1978
A generalized class of polynomials that are hard to factor. Zbl 0529.68018
Kaltofen, Erich; Musser, David R.; Saunders, B. David
7
1983
An overview of the Tecton proof system. Zbl 0938.68823
Kapur, D.; Nie, X.; Musser, D. R.
7
1994
Semi-unification. Zbl 0667.68042
Kapur, Deepak; Musser, David; Narendran, Paliath; Stillman, Jonathan
3
1988
Generic Gram-Schmidt orthogonalization by exact division. Zbl 0914.65038
Erlingsson, Úlfar; Kaltofen, Erich; Musser, David
2
1996
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
The AFFIRM theorem prover: Proof forests and management of large proofs. Zbl 0438.68046
Erickson, Roddy W.; Musser, David R.
2
1980
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
2
1996
An overview of the Tecton proof system. Zbl 0938.68823
Kapur, D.; Nie, X.; Musser, D. R.
7
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
23
1988
Semi-unification. Zbl 0667.68042
Kapur, Deepak; Musser, David; Narendran, Paliath; Stillman, Jonathan
3
1988
Proof by consistency. Zbl 0631.68073
Kapur, Deepak; Musser, David R.
30
1987
On proving uniform termination and restricted termination of rewriting systems. Zbl 0526.68036
Guttag, J. V.; Kapur, D.; Musser, D. R.
18
1983
A generalized class of polynomials that are hard to factor. Zbl 0529.68018
Kaltofen, Erich; Musser, David R.; Saunders, B. David
7
1983
Abstract data type specification in the AFFIRM system. Zbl 0431.68022
Musser, David R.
10
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.
44
1978
On the efficiency of a polynomial irreducibility test. Zbl 0372.68014
Musser, David R.
8
1978
Multivariate polynomial factorization. Zbl 0301.65029
Musser, David R.
28
1975
all top 5

Cited by 208 Authors

13 Kapur, Deepak
10 Narendran, Paliath
6 Zhang, Hantao
4 Dershowitz, Nachum
4 Gramlich, Bernhard
4 Padawitz, Peter
3 Bouhoula, Adel
3 Davenport, James Harold
3 Giesl, Jürgen
3 Hermann, Miki
3 Hsiang, Jieh
3 Kaltofen, Erich L.
3 Lescanne, Pierre
3 Reddy, Uday S.
3 Schneider-Kamp, Peter
3 Snyder, Wayne
3 Thiemann, René
3 Winkler, Sarah
3 Wirth, Claus-Peter
2 Anantharaman, Siva
2 Bachmair, Leo
2 Bergstra, Jan A.
2 Blum, Edward Kenneth
2 Bonacina, Maria Paola
2 Bronsard, Francois
2 Bündgen, Reinhard
2 Comon, Hubert
2 Fuhs, Carsten
2 Gao, Shuhong
2 Geser, Alfons
2 Hasker, Robert W.
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 Remy, Jean-Luc
2 Rusinowitch, Michaël
2 Sannella, Donald T.
2 Swiderski, Stephan
2 Theodorou, Nickolas J.
2 Tzafestas, Spyros G.
2 Viry, Guy
2 von zur Gathen, Joachim
2 Wand, Mitchell
2 Wang, Paul S.
1 Abbott, John A.
1 Abu Salem, Fatima K.
1 Antoy, Sergio
1 Armando, Alessandro
1 Arnon, Dennis S.
1 Avenhaus, Jürgen
1 Bauer, Friedrich Ludwig
1 Becker, Klaus W.
1 Bellia, Marco
1 Borzov, Yu. V.
1 Bostan, Alin
1 Bottesch, Ralph Christian
1 Boudet, Alexandre
1 Bousdira, Wadoud
1 Brandl, Rolf
1 Briales, Emilio
1 Brito, Gerandy
1 Broy, Manfred
1 Buchberger, Bruno
1 Burstall, Rod M.
1 Callegarin, G.
1 Caviness, Bob F.
1 Chazarain, Jacques
1 Chen, Jingwei
1 Contejean, Evelyne
1 Cook, Victor
1 Correll, Claus H.
1 Cunningham, R. J.
1 Cvetković, Dragoš
1 Dahan, Xavier
1 Danvy, Olivier
1 Dechev, Damian
1 Diarra, Nafissatou
1 Dick, A. J. J.
1 Divasón, Jose
1 Dos Reis, Gabriel
1 Dudenhefner, Andrej
1 Ehrig, Hartmut
1 Feng, Yong
1 Fernández, Maribel
1 Flajolet, Philippe
1 Fowler, Christopher F.
1 Garland, Stephen J.
1 Goguen, Joseph Amadee
1 Gu, Guoxiang
1 Gunji, Hiroshi
1 Gutiérrez, Raúl
1 Guttag, John V.
...and 108 more Authors

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.