Joost Vennekens, David Gilis, Marc Denecker. Erratum to splitting an operator: Algebraic modularity results for logics with fixpoint semantics. ACM Trans. Comput. Log., 8(1):7, 2007. [doi]
No references recorded for this publication.
No citations of this publication recorded.