Skip to search formSkip to main contentSkip to account menu
You are currently offline. Some features of the site may not work correctly.
David Musser
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2009
Highly Cited
2009
We consider in this paper a two-pulse photon echo sequence in the prospect of quantum light storage. We analyze the conditions…
Highly Cited
2004
Highly Cited
2004
The mammal fauna of Palawan Island, Philippines is here documented to include 58 native species plus four non-native species…
Highly Cited
2001
Highly Cited
2001
This qualitative case study focused on the nature of science learning through open-ended problem solving. Twelve eighth graders…
Highly Cited
1989
Highly Cited
1989
Abstract Inductionless induction consists of using pure equational reasoning for proving the validity of an equation in the…
Highly Cited
1987
Highly Cited
1987
Abstract Advances of the past decade in methods and computer programs for showing consistency of proof systems based on first…
Highly Cited
1981
Highly Cited
1981
This paper presents an organization of the p-adic lifting (or Hensel) algorithm that differs from the organization previously…
Highly Cited
1980
Highly Cited
1980
This paper proves the correctness of algebraic methods for deciding the equivalence of expressions by applying rewrite rules, and…
Highly Cited
1979
Highly Cited
1979
Abstract We consider the problem of data type extensions. Guttag, Horowitz, and Musser have pointed out that in this situation…
Highly Cited
1978
Highly Cited
1978
A data abstraction can be naturally specified using algebraic axioms. The virtue of these axioms is that they permit a…
Highly Cited
1976
Highly Cited
1976
In this paper, we will give three different (including revamped versions of Horowitz's and Musser's) algorithms for computing the…