ACM Transactions on Computational Logic
Journal Abbreviation: ACM T COMPUT LOG
ISSN: 1529-3785
Publisher: Association for Computing Machinery (ACM)
Publications (8)
Coalgebraic Reasoning with Global Assumptions in Arithmetic Modal Logics (2022)
Kupke C, Pattinson D, Schröder L
Journal article
Reiterman's Theorem on Finite Algebras for a Monad (2021)
Adamek J, Chen LT, Milius S, Urbat H
Journal article
Toward a Uniform Theory of Effectful State Machines (2020)
Goncharov S, Milius S, Silva A
Journal article
Generalized Eilenberg Theorem: Varieties of Languages in a Category (2019)
Adámek J, Milius S, Myers R, Urbat H
Journal article
Completeness of Flat Coalgebraic Fixpoint Logics (2018)
Schröder L, Venema Y
Journal article
A Modular Type Reconstruction Algorithm (2017)
Rabe F
Journal article
Sound and Complete Axiomatizations of Coalgebraic Language Equivalence (2013)
Bonsangue M, Milius S, Silva A
Journal article
Logical Relations for a Logical Framework (2013)
Rabe F
Journal article