Original language | Undefined/Unknown |
---|---|
Place of Publication | Utrecht |
Publisher | Utrecht University |
Volume | 1995-10 |
Edition | UU-CS |
ISBN (Print) | 0924-3275 |
Publication status | Published - 1995 |
A Complete Equational Axiomatization for BPA-delta-epsilon with Prefix Iteration
W.J. Fokkink, H. Zantema
Research output: Book/Report › Report › Academic