Henocque, Laurent
| Author ID: | henocque.laurent  |
| Published as: | Henocque, Laurent; Hénocque, 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) |
