Search the dblp DataBase

Publications of Author

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