Allais, Guillaume
Documents Indexed: | 6 Publications since 2012 |
Co-Authors: | 13 Co-Authors with 4 Joint Publications |
248 Co-Co-Authors |
all
top 5
Co-Authors
Fields
5 | Computer science (68-XX) |
2 | Mathematical logic and foundations (03-XX) |
1 | Number theory (11-XX) |
Publications by Year
all
top 5
Cited by 49 Authors
Cited in 5 Serials
4 | Journal of Automated Reasoning |
3 | Journal of Functional Programming |
2 | Mathematical Structures in Computer Science |
1 | Theory and Practice of Logic Programming |
1 | Logical Methods in Computer Science |
all
top 5