Larry M. Hines

According to our database, Larry M. Hines authored at least 8 papers between 1980 and 1997.

Collaborative distances:

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

1997

A Tribute to Woody Bledsoe.

Larry M. Hines

J. Autom. Reason., 1997

1996

Woody Bledsoe - His Life and Legacy.

A. Michael Ballantyne, Robert S. Boyer, Larry M. Hines

AI Mag., 1996

1994

Str+ve and Integers.

Larry M. Hines

Proceedings of the Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26, 1994

1992

Completeness of a Prover for Dense Linear Orders.

Larry M. Hines

J. Autom. Reason., 1992

The Central Variable Strategy of Str+ve.

Larry M. Hines

Proceedings of the Automated Deduction, 1992

1990

Str+ve-Subset: The Str+ve-based Subset Prover.

Larry M. Hines

Proceedings of the 10th International Conference on Automated Deduction, 1990

1988

Hyper-Chaining and Knowledge-Based Theorem Proving.

Larry M. Hines

Proceedings of the 9th International Conference on Automated Deduction, 1988

1980

Variable Elimination and Chaining in a Resolution-based Prover for Inequalities.

W. W. Bledsoe, Larry M. Hines

Proceedings of the 5th Conference on Automated Deduction, 1980