Klarl, Annabelle
Documents Indexed: | 3 Publications since 2014 |
Co-Authors: | 11 Co-Authors with 3 Joint Publications |
130 Co-Co-Authors |
all
top 5
Co-Authors
Serials
Publications by Year
all
top 5
Cited by 18 Authors
Cited in 1 Serial
1 | Journal of Logical and Algebraic Methods in Programming |
Cited in 3 Fields
5 | Computer science (68-XX) |
1 | History and biography (01-XX) |
1 | Mathematical logic and foundations (03-XX) |