In: Proceedings of the Second International Workshop on Modeling and Retrieval of Context. International Workshop on Modeling and Retrieval of Context …
In: Jose Fiadeiro; Neil Harman; Markus Roggenbach; Jan Rutten (Hrsg.). Algebra and Coalgebra in Computer Science. Conference on Algebra and Coalgebra …
Michael Kruppa; Andrew Lum; William Niu; Miriam Weinel