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) |