2011
Sound and complete axiomatizations of coalgebraic language equivalence
Publication
Publication
Computing Research Repository , Volume abs/1104.2803
| Additional Metadata | |
|---|---|
| Computing Research Repository | |
| Organisation | Computer Security |
|
Bonsangue, M., Milius, S., & Silva, A. (2011). Sound and complete axiomatizations of coalgebraic language equivalence. Computing Research Repository, abs/1104.2803. |
|