Bronsard, Francois
| Author ID: | bronsard.francois  |
| Published as: | Bronsard, Francois |
| Documents Indexed: | 5 Publications since 1990 |
| Co-Authors: | 2 Co-Authors with 5 Joint Publications |
| 15 Co-Co-Authors |
Co-Authors
| 0 | single-authored |
| 5 | Reddy, Uday S. |
| 2 | Hasker, Robert W. |
Serials
| 1 | Journal of Automated Reasoning |
Publications by Year
all
top 5
Cited by 9 Authors
| 5 | Reddy, Uday S. |
| 4 | Bronsard, Francois |
| 3 | Dershowitz, Nachum |
| 2 | Hasker, Robert W. |
| 2 | Jouannaud, Jean-Pierre |
| 2 | Klop, Jan Willem |
| 2 | Stratulat, Sorin |
| 1 | Kounalis, Emmanuel |
| 1 | Urso, Pascal |
Cited in 3 Serials
| 3 | Journal of Symbolic Computation |
| 1 | Theoretical Computer Science |
| 1 | Journal of Automated Reasoning |
Cited in 2 Fields
| 11 | Computer science (68-XX) |
| 6 | Mathematical logic and foundations (03-XX) |
