Kim Solin
发表
L. Meinicke,
Kim Solin,
2006
.
Kim Solin,
2012,
Studia Logica.
Bernhard Möller,
Peter Höfner,
Kim Solin,
2006,
RelMiCS.
Brijesh Dongol,
Ian J. Hayes,
Larissa Meinicke,
2012,
RAMiCS.
Kim Solin,
Kim Solin,
2007,
Inf. Comput..
Kim Solin,
2006
.
Kim Solin,
Kim Solin,
2013,
ICAART.
Larissa Meinicke,
Kim Solin,
L. Meinicke,
2008,
Formal Aspects of Computing.
Kim Solin,
Kim Solin,
2011,
J. Log. Algebraic Methods Program..