Items where authors include "Ohrem, C."

Proceedings Paper

Gutsfeld, J.O., Meier, A., Ohrem, C. et al. (1 more author) (2022) Temporal team semantics revisited. In: LICS '22: Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science. LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, 02-05 Aug 2022, Haifa Israel. Association for Computing Machinery . ISBN 9781450393515