1999
A complete equational axiomatization for MPA with string iteration
Publication
Publication
Theoretical Computer Science , Volume 211 - Issue 1-2 p. 339- 374
Additional Metadata | |
---|---|
elsevier | |
Theoretical Computer Science | |
Aceto, L., & Groote, J. F. (1999). A complete equational axiomatization for MPA with string iteration. Theoretical Computer Science, 211(1-2), 339–374. |