| Original language | English |
|---|
| Place of Publication | Århus : Daimi |
|---|---|
| Publisher | Department of Computer Science, Aarhus University |
| Number of pages | 39 |
| Publication status | Published - 1995 |
| Series | BRICS Report Series |
|---|---|
| Number | RS-95-28 |
| ISSN | 0909-0878 |
A Complete Equational Axiomatization for MPA with String Iteration
Luca Aceto, J. F. Groote
Research output: Book/Report › Book › Research