In: Proceedings of the Second International Workshop on Modeling and Retrieval of Context. International Workshop on Modeling and Retrieval of Context …
Ivana Kruijff-Korbayová; Nate Blaylock; Ciprian Gerstenberger; Verena Rieser; Tilman Becker; Michael Kaißer; Peter Poller; Jan Schehl
In: Jose Fiadeiro; Neil Harman; Markus Roggenbach; Jan Rutten (Hrsg.). Algebra and Coalgebra in Computer Science. Conference on Algebra and Coalgebra …