Information and Computation
Journal Abbreviation: INFORM COMPUT
ISSN: 0890-5401
Publisher: Elsevier
Publications (6)
Eilenberg's variety theorem without Boolean operations (2022)
Birkmann F, Milius S, Urbat H
Journal article
A new foundation for finitary corecursion and iterative algebras (2019)
Wißmann T, Pattinson D, Milius S
Journal article
Selling two goods optimally (2018)
Giannakopoulos Y, Koutsoupias E
Journal article
A coinductive calculus for asynchronous side-effecting processes (2013)
Goncharov S, Schröder L
Journal article, Original article
A scalable module system (2013)
Rabe F, Kohlhase M
Journal article, Original article
How Iterative Reflections of Monads are Constructed (2013)
Adámek J, Milius S, Velebil J
Journal article