| 1997 |
|---|
| 7 | EE | François Bronsard,
Douglas Bryan,
Wojtek Kozaczynski,
Edy S. Liongosari,
Jim Q. Ning,
Ásgeir Ólafsson,
John W. Wetterstrand:
Toward Software Plug-and-Play.
SSR 1997: 19-29 |
| 1996 |
|---|
| 6 | | François Bronsard,
Uday S. Reddy,
Robert W. Hasker:
Induction Using Term Orders.
J. Autom. Reasoning 16(1-2): 3-37 (1996) |
| 1994 |
|---|
| 5 | | François Bronsard,
Uday S. Reddy,
Robert W. Hasker:
Induction using Term Orderings.
CADE 1994: 102-117 |
| 1992 |
|---|
| 4 | | François Bronsard,
Uday S. Reddy:
Reduction Techniques for First-Order Reasoning.
CTRS 1992: 242-256 |
| 3 | | François Bronsard,
T. K. Lakshman,
Uday S. Reddy:
A Framework of Directionality for Proving Termination of Logic Programs.
JICSLP 1992: 321-335 |
| 1990 |
|---|
| 2 | | François Bronsard,
Uday S. Reddy:
Axiomatization of a Functional Logic Language.
ALP 1990: 101-116 |
| 1 | | François Bronsard,
Uday S. Francois:
Conditional Rewriting in Focus.
CTRS 1990: 2-13 |
