Research output per year
Research output per year
Research output
Search results
-
2019
Preface to special issue: ICTAC 2015
Leucker, M., Pérez, J. A., Rueda, C. & Valencia, F. D., 01.01.2019, In: Mathematical Structures in Computer Science. 29, 1, p. 1-2 2 p.Research output: Journal Articles › Editorial
-
2014
Guest editors' preface to special issue on interval temporal logics
Moszkowski, B., Guelev, D. & Leucker, M., 01.01.2014, In: Annals of Mathematics and Artificial Intelligence. 71, 1-3, p. 1-9 9 p.Research output: Journal Articles › Editorial