Christian Hagemeier

Publication Activity (10 Years)

Years Active: 2005-2022
Publications (10 Years): 2

Top Topics

Epistemic Logic

Inference Rules

Mathematical Theory

Top Venues

J. Log. Comput.

Publications

Christian Hagemeier, Dominik Kirst
Constructive and mechanised meta-theory of IEL and similar modal logics. J. Log. Comput. 32 (8) (2022)
Christian Hagemeier, Dominik Kirst
Constructive and Mechanised Meta-Theory of Intuitionistic Epistemic Logic. LFCS (2022)
Matthias Truss, Maciej Swat, Szymon M. Kielbasa, Reinhold Schäfer, Hanspeter Herzel, Christian Hagemeier
HuSiDa - the human siRNA database: an open-access database for published functional siRNA sequences and technical details of efficient transfer into recipient cells. Nucleic Acids Res. 33 (Database-Issue) (2005)