Statistics
Publications
3
Citations
610
H-Index
3
Active since
1964
Affiliations
Argonne National Laboratory(Current)
Daniel F. Carson is an author at Argonne National Laboratory specializing in formal methods, automated reasoning, and proof complexity.
Publications per year
1964–1967
3
3
The Concept of Demodulation in Theorem Proving
L. Wos, George Robinson, Daniel F. Carson et al. · Journal of the ACM · 1967 · 181 citations · Full text
The unit preference strategy in theorem proving
L. Wos, Daniel F. Carson, George Robinson · 1964 · 123 citations · Full text
1–3 of 3