dblp.uni-trier.dewww.uni-trier.de

Larry M. Hines Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*1997
8 Larry M. Hines: A Tribute to Woody Bledsoe. J. Autom. Reasoning 18(1): 1-4 (1997)
1996
7 Michael Ballantyne, Robert S. Boyer, Larry M. Hines: Woody Bledsoe - His Life and Legacy. AI Magazine 17(1): 7-20 (1996)
1994
6EELarry M. Hines: Str+ve and Integers. CADE 1994: 416-430
1992
5EELarry M. Hines: The Central Variable Strategy of Str+ve. CADE 1992: 35-49
4 Larry M. Hines: Completeness of a Prover for Dense Linear Orders. J. Autom. Reasoning 8(1): 45-75 (1992)
1990
3EELarry M. Hines: Str+ve-Subset: The Str+ve-based Subset Prover. CADE 1990: 193-206
1988
2EELarry M. Hines: Hyper-Chaining and Knowledge-Based Theorem Proving. CADE 1988: 469-486
1980
1EEW. W. Bledsoe, Larry M. Hines: Variable Elimination and Chaining in a Resolution-based Prover for Inequalities. CADE 1980: 70-87

Coauthor Index

1Michael Ballantyne [7]
2W. W. Bledsoe [1]
3Robert S. Boyer [7]

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)