Kai Brünnler
发表
Kai Brünnler,
D. Steiner,
2006
.
Kai Brünnler,
2003,
Notre Dame J. Formal Log..
Kai Brünnler,
Kai Brünnler,
2009,
Arch. Math. Log..
Thomas Studer,
Dieter Probst,
Kai Brünnler,
2008,
Math. Log. Q..
Martin Lange,
Kai Brünnler,
M. Lange,
2008,
J. Log. Algebraic Methods Program..
Thomas Studer,
Dandolo Flumini,
Kai Brünnler,
2017,
LFCS.
Roman Kuznets,
Kai Brünnler,
Remo Goetschi,
2010,
Advances in Modal Logic.
Richard McKinley,
Kai Brünnler,
Richard McKinley,
2008,
LPAR.
Kai Brünnler,
Kai Brünnler,
2003,
CSL.
Kai Brunnler,
Kai Brünnler,
2010,
ArXiv.
Alwen Tiu,
Kai Brünnler,
Kai Brünnler,
2001,
LPAR.