Sound and complete axiomatizations of coalgebraic language equivalence

Author(s):: Bonsangue, M.M. (0000-0003-3746-3618); Milius, S.; Silva, A.M.

Published: 2013
Publication type: Article / Letter to editor

Date issued: 2013
Language: English
Is part of: ACM Transactions on Computational Logic (2013), Vol. 14, no. 1, p. 7
hdl: 1887/59681
doi: 10.1145/2422085.2422092
URL: https://dl.acm.org/citation.cfm?doid=2422085.2422092