Henocque, Laurent
Documents Indexed: | 7 Publications since 1998 |
1 Contribution as Editor | |
Co-Authors: | 7 Co-Authors with 7 Joint Publications |
132 Co-Co-Authors |
all
top 5
Co-Authors
1 | single-authored |
5 | Benhamou, Belaid |
3 | Audemard, Gilles |
1 | Calmet, Jacques |
1 | Caprotti, Olga |
1 | Kleiner, Mathias |
1 | Prcovic, Nicolas |
1 | Sorge, Volker |
Serials
1 | Journal of Automated Reasoning |
1 | Fundamenta Informaticae |
1 | RACSAM. Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales. Serie A: Matemáticas |
1 | Lecture Notes in Computer Science |
Fields
8 | Computer science (68-XX) |
2 | Mathematical logic and foundations (03-XX) |
1 | General and overarching topics; collections (00-XX) |
1 | General algebraic systems (08-XX) |
Publications by Year
all
top 5
Cited by 11 Authors
1 | Audemard, Gilles |
1 | Benhamou, Belaid |
1 | Chow, Choiwah |
1 | Henocque, Laurent |
1 | Janota, Mikoláš |
1 | Majumder, Bivash |
1 | Manna, Goutam |
1 | Peltier, Nicolas |
1 | Ray, Saibal |
1 | Zhang, Hantao |
1 | Zhang, Jian |
Cited in 4 Serials
1 | Fortschritte der Physik |
1 | Journal of Automated Reasoning |
1 | Annals of Mathematics and Artificial Intelligence |
1 | Constraints |
Cited in 4 Fields
4 | Computer science (68-XX) |
3 | Mathematical logic and foundations (03-XX) |
1 | General algebraic systems (08-XX) |
1 | Relativity and gravitational theory (83-XX) |