zbMATH — the first resource for mathematics

Found 2 Authors (Results 1–2)

Larsen, Kim Guldstrand

Published as:   Larsen, Kim G.; Larsen, Kim Guldstrand; Guldstrand Larsen, Kim; Larsen, Kim; Larsen, K. G.
Documents: 216 Publications indexed (1984–2021)
Co-Authors: Mardare, Radu; Srba, Jiří; Legay, Axel; ...
Main Fields: Computer science (68-XX); Mathematical logic and foundations (03-XX)

Larsen, Kim Gulstrand

Published as:   Larsen, Kim G.; Larsen, Kim Gulstrand; Larsen, Kim; Larsen, K.
Documents: 6 Publications indexed (2003–2019)
Co-Authors: Bøgsted Poulsen, Danny; Bulychev, Peter E.; David, Alexandre; ...
Main Fields: Computer science (68-XX); General and overarching topics; collections (00-XX)