Larry M. Hines

Publication Activity (10 Years)

Years Active: 1980-1997
Publications (10 Years): 0

Publications

Larry M. Hines
A Tribute to Woody Bledsoe. J. Autom. Reason. 18 (1) (1997)
A. Michael Ballantyne, Robert S. Boyer, Larry M. Hines
Woody Bledsoe - His Life and Legacy. AI Mag. 17 (1) (1996)
Larry M. Hines
Str+ve and Integers. CADE (1994)
Larry M. Hines
Completeness of a Prover for Dense Linear Orders. J. Autom. Reason. 8 (1) (1992)
Larry M. Hines
The Central Variable Strategy of Str+ve. CADE (1992)
Larry M. Hines
Str+ve-Subset: The Str+ve-based Subset Prover. CADE (1990)
Larry M. Hines
Hyper-Chaining and Knowledge-Based Theorem Proving. CADE (1988)
W. W. Bledsoe, Larry M. Hines
Variable Elimination and Chaining in a Resolution-based Prover for Inequalities. CADE (1980)