Sound and complete axiomatisations of coalgebraic language equivalence (0)

by M Bonsangue, S Milius, A Silva
Venue:ACM Transactions on Computational Logic