Dennis Walter; Lutz Schröder; Till Mossakowski
In: Jose Fiadeiro; Jan Rutten (Hrsg.). Algebra and Coalgebra in Computer Science. Conference on Algebra and Coalgebra in Computer Science …
Daniel Hausmann; Till Mossakowski; Lutz Schröder
In: Jose Fiadeiro; Neil Harman; Markus Roggenbach; Jan Rutten (Hrsg.). Algebra and Coalgebra in Computer Science. Conference on Algebra and Coalgebra …