Additional Metadata
THEME Software (theme 1)
Publisher A.C.M.
Journal ACM Transactions on Computational Logic
Citation
Bonsangue, M.M, Milius, S, & Silva, A.M. (2013). Sound and complete axiomatizations of coalgebraic language equivalence. ACM Transactions on Computational Logic, 14(1).