Doligez, Damien
Documents Indexed: | 6 Publications since 2002 |
Co-Authors: | 16 Co-Authors with 6 Joint Publications |
170 Co-Co-Authors |
all
top 5
Co-Authors
Serials
1 | Journal of Automated Reasoning |
Fields
6 | Computer science (68-XX) |
Publications by Year
all
top 5
Cited by 46 Authors
Cited in 5 Serials
6 | Journal of Automated Reasoning |
1 | Theoretical Computer Science |
1 | Annals of Mathematics and Artificial Intelligence |
1 | Mathematical Problems in Engineering |
1 | Logical Methods in Computer Science |
Cited in 3 Fields
22 | Computer science (68-XX) |
8 | Mathematical logic and foundations (03-XX) |
1 | General algebraic systems (08-XX) |