Lehrstuhl für Informatik 8 (Theoretische Informatik)

Explaining Behavioural Inequivalence Generically in Quasilinear Time (2021) Wißmann T, Milius S, Schröder L Conference contribution Syntactic Minimization of Nondeterministic Finite Automata (2021) Myers RS, Urbat H Conference contribution A Linear-Time Nominal μ-Calculus with Name Allocation (2021) Hausmann D, Milius S, Schröder L Conference contribution Coalgebra encoding for efficient minimization (2021) Deifel HP, Milius S, Wißmann T Conference contribution Uniform elgot iteration in foundations (2021) Goncharov S Conference contribution Behavioural Preorders via Graded Monads (2021) Ford M, Milius S, Schröder L Conference contribution Gödel-McKinsey-Tarski and Blok-Esakia for Heyting-Lewis Implication (2021) De Groot J, Litak TM, Pattinson D Conference contribution Argument parsing via corpus queries (2021) Dykes N, Evert S, Göttlinger M, Heinrich P, Schröder L Journal article From generic partition refinement to weighted tree automata minimization (2021) Wißmann T, Deifel HP, Milius S, Schröder L Journal article A Quantified Coalgebraic van Benthem Theorem (2021) Wild P, Schröder L Conference contribution