Lehrstuhl für Informatik 8 (Theoretische Informatik)

Guarded and Unguarded Iteration for Generalized Processes (2019) Goncharov S, Schröder L, Rauch C, Pirog M Journal article Combining Machine Learning and Semantic Features in the Classification of Corporate Disclosures (2019) Evert S, Heinrich P, Henselmann K, Rabenstein U, Scherr E, Schmitt M, Schröder L Journal article Path Category for Free: Open Morphisms from Coalgebras with Non-deterministic Branching (2019) Wißmann T, Dubut J, Katsumata Sy, Hasuo I Conference contribution Optimal Satisfiability Checking for Arithmetic µ-Calculi (2019) Hausmann D, Schröder L Conference contribution Equational Axiomatization of Algebras with Structure (2019) Milius S, Urbat H Conference contribution Generalized Eilenberg Theorem: Varieties of Languages in a Category (2019) Adámek J, Milius S, Myers R, Urbat H Journal article Infinite Populations, Choice and Determinacy (2018) Litak TM Journal article, Original article Unguarded Recursion on Coinductive Resumptions (2018) Goncharov S, Schröder L, Rauch C, Jakob J Journal article, Original article One Modal Logic to Rule Them All? (2018) Holliday W, Litak TM Conference contribution, Conference Contribution Lewis meets Brouwer: Constructive strict implication (2018) Litak TM, Visser A Journal article, Original article