Djelloul, Khalil
Documents Indexed: | 12 Publications since 2005 |
Co-Authors: | 4 Co-Authors with 6 Joint Publications |
32 Co-Co-Authors |
Co-Authors
6 | single-authored |
4 | Dao, Thi-Bich-Hanh |
2 | Frühwirth, Thom |
2 | Meister, Marc |
1 | Robin, Jacques |
Serials
2 | Theory and Practice of Logic Programming |
1 | Applied Mathematics and Computation |
1 | Annals of Mathematics and Artificial Intelligence |
Fields
12 | Computer science (68-XX) |
6 | Mathematical logic and foundations (03-XX) |
1 | Combinatorics (05-XX) |
Publications by Year
all
top 5
Cited by 11 Authors
Cited in 4 Serials
1 | Applied Mathematics and Computation |
1 | Journal of Automated Reasoning |
1 | Annals of Mathematics and Artificial Intelligence |
1 | Theory and Practice of Logic Programming |
Cited in 2 Fields
9 | Computer science (68-XX) |
3 | Mathematical logic and foundations (03-XX) |