1994
A complete equational axiomatization for prefix iteration
Publication
Publication
Information Processing Letters , Volume 52 - Issue 6 p. 333- 337
| Additional Metadata | |
|---|---|
| , , | |
| north-holland | |
| Information Processing Letters | |
|
Fokkink, W. (1994). A complete equational axiomatization for prefix iteration. Information Processing Letters, 52(6), 333–337. |
|