Lehrstuhl für Informatik 8 (Theoretische Informatik)

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 Completeness of Flat Coalgebraic Fixpoint Logics (2018) Schröder L, Venema Y Journal article A detailed analysis of the Arden Syntax expression grammar (2018) Kraus S, Rosenbauer M, Schröder L, Buerkle T, Adlassnig KP, Toddenroth D Journal article A Semantics for Hybrid Iteration (2018) Goncharov S, Neves R Conference contribution, Conference Contribution A Metalanguage for Guarded Iteration (2018) Goncharov S, Rauch C, Schröder L Conference contribution, Conference Contribution Proper Functors and Fixed Points for Finite Behaviour (2018) Milius S Journal article A coalgebraic treatment of conditional transition systems with upgrades (2018) Harsh B, König B, Küpper S, Silva A, Wißmann T Journal article