Sound and complete axiomatizations of coalgebraic language equivalence

Bonsangue, M.M.; Milius, S.; Silva, A.M. (2013)

Article / Letter to editor

• All authors: Bonsangue, M.M.; Milius, S.; Silva, A.M.
• Date: 2013
• Journal: ACM Transactions on Computational Logic
• Volume: 14
• Issue: 1
• Pages: 7
• DOI: doi:10.1145/2422085.2422092
• Link: https://dl.acm.org/citation.cfm?doid=2422085.2422092