Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 225,213,971 papers from all fields of science
Search
Sign In
Create Free Account
David Musser
Known as:
Dave Musser
, Musser
David "Dave" Musser is a professor emeritus of computer science at the Rensselaer Polytechnic Institute in Troy, New York, United States. He is known…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
9 relations
Alexander Stepanov
C++
Computer science
Generic programming
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
Solving water quality problems in agricultural landscapes: New approaches for these nonlinear, multiprocess, multiscale systems
P. Belmont
,
E. Foufoula‐Georgiou
2017
Corpus ID: 40632720
Changes in climate and agricultural practices are putting pressure on agroenvironmental systems all over the world. Predicting…
Expand
Review
2015
Review
2015
Books in brief
B. Kiser
Nature
2015
Corpus ID: 4385833
Barbara Kiser reviews five of the week's best science picks.
Review
2011
Review
2011
Accanto allo schermo. Il repertorio musicale de Le Giornate del Cinema Muto.
Marco Bellano
2011
Corpus ID: 192026687
The fact that silent cinema is not to be considered just as a precursor to sound cinema, in an evolutionary sense, is today well…
Expand
2005
2005
Worldwide computing: Adaptive middleware and programming technology for dynamic Grid environments
Carlos A. Varela
,
P. Ciancarini
,
K. Taura
Scientific Programming
2005
Corpus ID: 8016515
Future-generations cyber-infrastructure must enable the dynamic coordinated composition of computing and information services…
Expand
Highly Cited
1995
Highly Cited
1995
Specifying Open GIS with Functional Languages
A. Frank
,
W. Kuhn
International Multi-Conference on Systems…
1995
Corpus ID: 14298570
The concept of Open GIS depends on precise definitions of data, operations and interfaces. This paper argues for the use of…
Expand
1994
1994
Extending Bachmair's Method for Proof by Consistency to the Final Algebra
Olav Lysne
Information Processing Letters
1994
Corpus ID: 13048243
Highly Cited
1991
Highly Cited
1991
Automating Inductionless Induction Using Test Sets
D. Kapur
,
P. Narendran
,
Hantao Zhang
Journal of symbolic computation
1991
Corpus ID: 15493703
1988
1988
Semi-Unification
D. Kapur
,
D. Musser
,
P. Narendran
,
J. Stillman
Theoretical Computer Science
1988
Corpus ID: 209015549
1986
1986
How to Prove Equivalence of Term Rewriting Systems Without Induction
Y. Toyama
Theoretical Computer Science
1986
Corpus ID: 2366396
A simple method is proposed for testing equivalence in a restricted domain of two given term rewriting systems. By using the…
Expand
1954
1954
Economic Criteria for Determining Optimum Use of Summer Range by Sheep and Cattle
J. A. Hopkin
1954
Corpus ID: 59574324
DAUBENMIRE, R. F. AND W. E. COLWELL. 1942. Some edaphic changes due ‘to overgrazing in the Agropyron-Poa prairie of Southwestern…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE