Lehrstuhl für Informatik 8 (Theoretische Informatik)

Special Issue with Selected Papers of the 5th International Conference on Algebra and Coalgebra in Computer Science, CALCO 2013 (2015) Heckel R, Milius S Edited Volume On Inconsistency and Unsatisfiability (2015) Schröder L, Mossakowski T Journal article, Original article Unguarded Recursion on Coinductive Resumptions (2015) Goncharov S, Rauch C, Schröder L Conference contribution, Original article A fibrational approach to automata theory (2015) Urbat H, Chen LT Conference contribution, Conference Contribution Monodic Fragments of Probabilistic First-order Logic (2014) Jung JC, Lutz C, Goncharov S, Schröder L Conference contribution, Conference Contribution Generalized Eilenberg Theorem I: Local Varieties of Languages (2014) Adámek J, Milius S, Myers R, Urbat H, Urbat H Conference contribution Towards Ontological Support for Principle Solutions in Mechanical Engineering (2014) Breitsprecher T, Codesci M, Jucovaschi C, Kohlhase M, Schröder L, Wartzack S Conference contribution, Conference Contribution COOL — A Generic Reasoner for Coalgebraic Hybrid Logics (System Description) (2014) Gorin D, Pattinson D, Schröder L, Widmann F, Wißmann T Conference contribution, Original article Towards a Coalgebraic Chomsky Hierarchy (2014) Goncharov S, Milius S, Silva A Conference contribution Semantic Support for Engineering Design Processes (2014) Breitsprecher T, Codescu SM, Schröder L, Wartzack S, jucovschi C, Kohlhase M Conference contribution, Original article