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