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. |
|