Clemens Kupke
发表
Yde Venema,
Alexander Kurz,
Clemens Kupke,
2012,
Log. Methods Comput. Sci..
Jan J. M. M. Rutten,
Helle Hvid Hansen,
Joost Winter,
2014,
Horizons of the Mind.
Helle Hvid Hansen,
Clemens Kupke,
H. Hansen,
2004,
CMCS.
Alexander Kurz,
Dirk Pattinson,
Clemens Kupke,
2004,
CMCS.
Dirk Pattinson,
Clemens Kupke,
D. Pattinson,
2010,
Advances in Modal Logic.
Helle Hvid Hansen,
Yde Venema,
Johannes Marti,
2018,
DALI@TABLEAUX.
Yde Venema,
Johannes Marti,
Clemens Kupke,
2020
.
Helle Hvid Hansen,
Yde Venema,
Johannes Marti,
2017,
ArXiv.
Helle Hvid Hansen,
Clemens Kupke,
Eric Pacuit,
2007,
CALCO.
Neil Ghani,
Clemens Kupke,
Fredrik Nordvall Forsberg,
2017,
Theor. Comput. Sci..
Helle Hvid Hansen,
Clemens Kupke,
Raul Andres Leal,
2014,
IFIP TCS.
Clemens Kupke,
Raul Andres Leal,
R. A. Leal,
2009,
CALCO.
Dirk Pattinson,
Clemens Kupke,
Lutz Schröder,
2009,
IJCAI.
Alexandra Silva,
Jurriaan Rot,
Clemens Kupke,
2019,
FoSSaCS.
Georg Gottlob,
Thomas Lukasiewicz,
André Hernich,
2013,
PODS '13.
Rajeev Goré,
Dirk Pattinson,
Clemens Kupke,
2010,
IJCAR.
Prakash Panangaden,
Nick Bezhanishvili,
Clemens Kupke,
2012,
WoLLIC.
Yde Venema,
Alexander Kurz,
Clemens Kupke,
2004,
CMCS.
Dirk Pattinson,
Clemens Kupke,
D. Pattinson,
2011,
Theor. Comput. Sci..
Alexandra Silva,
Helle Hvid Hansen,
Prakash Panangaden,
2020,
ArXiv.
Yde Venema,
Alexander Kurz,
Clemens Kupke,
2004,
Theor. Comput. Sci..
Jurriaan Rot,
Clemens Kupke,
J. Rot,
2020,
CSL.
Helle Hvid Hansen,
Clemens Kupke,
2015,
FICS.
Clemens Kupke,
2011
.
Daniel Hole,
Clemens Kupke,
Martin Aher,
2013,
Lecture Notes in Computer Science.
Daniel Hole,
Clemens Kupke,
Martin Aher,
2013
.
Jan J. M. M. Rutten,
Clemens Kupke,
2012,
Logic and Program Semantics.
Yde Venema,
Johannes Marti,
Clemens Kupke,
2020,
ArXiv.
Clemens Kupke,
Jirí Adámek,
2008,
CMCS.
Boris Motik,
Ian Horrocks,
Zhe Wang,
2012,
KR.
Clemens Kupke,
C. Kupke,
2009,
TbiLLC.
Georg Gottlob,
Thomas Lukasiewicz,
André Hernich,
2012,
Description Logics.
Clemens Kupke,
2018,
CMCS.
Clemens Kupke,
J.C.M. Baeten,
J.J.M.M. Rutten,
1998
.
Corina Cîrstea,
Dirk Pattinson,
Clemens Kupke,
2009,
CSL.
Robert Atkey,
Neil Ghani,
Clemens Kupke,
2020
.
Yde Venema,
Clemens Kupke,
Y. Venema,
2008,
Log. Methods Comput. Sci..
Dirk Pattinson,
Clemens Kupke,
Corina Cirstea,
2009,
CSL.
Boris Motik,
Ian Horrocks,
Zhe Wang,
2013,
J. Artif. Intell. Res..
Jurriaan Rot,
Clemens Kupke,
Simone Barlocco,
2019,
FoSSaCS.
Alexander Kurz,
Dirk Pattinson,
Clemens Kupke,
2005,
CALCO.
Rajeev Goré,
Dirk Pattinson,
Clemens Kupke,
2010,
TACAS.
Yde Venema,
Clemens Kupke,
Y. Venema,
2005,
20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05).
Yde Venema,
Alexander Kurz,
Clemens Kupke,
2008,
Advances in Modal Logic.
Jan J. M. M. Rutten,
Clemens Kupke,
2008,
CMCS.
Neil Ghani,
Clemens Kupke,
Fredrik Nordvall Forsberg,
2020,
ACT.
Nick Bezhanishvili,
Clemens Kupke,
N. Bezhanishvili,
2016,
GandALF.
Clemens Kupke,
C. Kupke,
2007
.
Helle Hvid Hansen,
Clemens Kupke,
Eric Pacuit,
2009,
Log. Methods Comput. Sci..
Helle Hvid Hansen,
Yde Venema,
Johannes Marti,
2019,
2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Dirk Pattinson,
Clemens Kupke,
Lutz Schröder,
2020,
ACM Trans. Comput. Log..
Jan J. M. M. Rutten,
Helle Hvid Hansen,
Clemens Kupke,
2014,
Log. Methods Comput. Sci..
Corina Cîrstea,
Dirk Pattinson,
Clemens Kupke,
2011,
Log. Methods Comput. Sci..
Jan J. M. M. Rutten,
Clemens Kupke,
2010,
Inf. Comput..
Georg Gottlob,
Thomas Lukasiewicz,
André Hernich,
2014,
KR.
Clemens Kupke,
Simone Barlocco,
C. Kupke,
2018,
LFCS.
Jurriaan Rot,
Ichiro Hasuo,
Clemens Kupke,
2021,
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Clemens Kupke,
C. Kupke,
2006
.
Helle Hvid Hansen,
Clemens Kupke,
Eric Pacuit,
2003
.