Travelled to:2 × France
2 × USA
Collaborated with:∅ W.W.Bledsoe
Talks about:str (4) base (3) variabl (2) subset (2) prover (2) chain (2) strategi (1) knowledg (1) theorem (1) resolut (1)
Person: Larry M. Hines
DBLP: Hines:Larry_M=
Contributed to:
19941992199019881980Wrote 5 papers:
- CADE-1994-Hines #integer
- Str+ve and Integers (LMH), pp. 416–430.
- CADE-1992-Hines
- The Central Variable Strategy of Str+ve (LMH), pp. 35–49.
- CADE-1990-Hines #proving #set
- Str+ve-Subset: The Str+ve-based Subset Prover (LMH), pp. 193–206.
- CADE-1988-Hines #knowledge-based #proving #theorem proving
- Hyper-Chaining and Knowledge-Based Theorem Proving (LMH), pp. 469–486.
- CADE-1980-BledsoeH #proving
- Variable Elimination and Chaining in a Resolution-based Prover for Inequalities (WWB, LMH), pp. 70–87.