Lehrstuhl für Informatik 8 (Theoretische Informatik)

Killing Epsilons with a Dagger: A Coalgebraic Study of Systems with Algebraic Label Structure (2015) Bonchi F, Milius S, Silva A, Zanasi F Journal article A van Benthem/Rosen Theorem for Coalgebraic Predicate Logic (2015) Schröder L, Litak TM, Pattinson D Journal article, Original article Finitary Corecursion for the Infinitary Lambda Calculus (2015) Milius S, Wißmann T Conference contribution Visual comparison of speaker groups (2015) Wankerl S, Hönig FT, Batliner A, Orozco Arroyave JR, Nöth E Conference contribution, Conference Contribution Varieties of Languages in a Category (2015) Adámek J, Milius S, Myers R, Urbat H, Urbat H Conference contribution Sound and Complete Equational Reasoning over Comodels (2015) Schröder L, Pattinson D Conference contribution, Original article Simplified Coalgebraic Trace Equivalence (2015) Kurz A, Milius S, Pattinson D, Schröder L Book chapter / Article in edited volumes On Finitary Functors and Their Presentation (2015) Adámek J, Milius S, Moss L, Urbat H, Urbat H Journal article Syntactic Monoids in a Category (2015) Adámek J, Milius S, Urbat H, Urbat H Conference contribution, Conference Contribution Coalgebraic Constructions of Canonical Nondeterministic Automata (2015) Myers R, Adámek J, Milius S, Urbat H, Urbat H Journal article