Lehrstuhl für Informatik 8 (Theoretische Informatik)

Abstract GSOS rules and a Modular Treatment of Recursive Definitions (2013) Milius S, Moss L, Schwencke D Journal article Algebra and Coalgebra in Computer Science: 5th International Conference, CALCO 2013 (Proceedings) (2013) Heckel R, Milius S Edited Volume How Iterative Reflections of Monads are Constructed (2013) Adámek J, Milius S, Velebil J Journal article Coalgebraic Predicate Logic: Equipollence Results and Proof Theory (2013) Litak TM, Pattinson D, Sano K Conference contribution A characterisation of NL/poly via nondeterministic finite automata (2013) Myers R, Urbat H Conference contribution Preface (2013) Mossakowski T, Roggenbach M, Schröder L Journal article, Editorial Proceedings of the 11th International Workshop on Coalgebraic Methods in Computer Science (CMCS 2012) (2012) Pattinson D, Schröder L Edited Volume Wellpointed coalgebras (2012) Adámek J, Milius S, Moss L, Sousa L Conference contribution Well-Pointed Coalgebras (Extended Abstract) (2012) Adámek J, Milius S, Moss L, Sousa L Conference contribution On the specification of operations on the rational behaviour of systems (2012) Bonsangue M, Milius S, Rot J Conference contribution