Daniel F. Carson

According to our database, Daniel F. Carson authored at least 3 papers between 1964 and 1967.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

1967

The Concept of Demodulation in Theorem Proving.

Larry Wos, George A. Robinson, Daniel F. Carson, Leon Shalla

J. ACM, 1967

1965

Efficiency and Completeness of the Set of Support Strategy in Theorem Proving.

Larry Wos, George A. Robinson, Daniel F. Carson

J. ACM, 1965

1964

The unit preference strategy in theorem proving.

Larry Wos, Daniel F. Carson, George A. Robinson

Proceedings of the 1964 fall joint computer conference, part I, 1964