Author Info
Name
Affiliation
Papers
DANIEL F. CARSON
Stanford Linear Accelerator Center, Stanford, California
2
Collaborators
Citations 
PageRank 
3
251
204.49
Referers 
Referees 
References 
248
5
4
Search Limit
100248
Title
Citations
PageRank
Year
The Concept of Demodulation in Theorem Proving9450.361967
Efficiency and Completeness of the Set of Support Strategy in Theorem Proving157154.121965