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

François Bronsard Vis

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

*2009
8EEFrançois Bronsard: Practical framework constraints. ESEC/SIGSOFT FSE 2009: 273-276
1997
7EEFranç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
5EEFranç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
2EEFranç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

Coauthor Index

1Douglas Bryan [7]
2Uday S. Francois [1]
3Robert W. Hasker [5] [6]
4Wojtek Kozaczynski [7]
5T. K. Lakshman [3]
6Edy S. Liongosari [7]
7Jim Q. Ning [7]
8Ásgeir Ólafsson [7]
9Uday S. Reddy [2] [3] [4] [5] [6]
10John W. Wetterstrand [7]

Colors in the list of coauthors

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