Daniel Kernberger
发表
Martin Lange,
Daniel Kernberger,
M. Lange,
2020,
TIME.
Martin Lange,
Daniel Kernberger,
2020,
J. Log. Algebraic Methods Program..
Daniel Kernberger,
Martin Lange,
2020,
Theor. Comput. Sci..
Martin Lange,
Daniel Kernberger,
2017,
TIME.
Martin Lange,
Florian Bruse,
Daniel Kernberger,
2016,
GandALF.
Daniel Kernberger,
Daniel Kernberger,
2019
.
Daniel Kernberger,
Martin Lange,
2016,
2016 23rd International Symposium on Temporal Representation and Reasoning (TIME).