Lehrstuhl für Informatik 8 (Theoretische Informatik)

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 Generic Trace Semantics and Graded Monads (2015) Milius S, Pattinson D, Schröder L Conference contribution, Original article Reasoning with Global Assumptions in Arithmetic Modal Logics (2015) Kupke C, Pattinson D, Schröder L Conference contribution