Original language | English |
---|---|
Title of host publication | Algebraic Methods II : Theory, Tools and Applications (Mierlo, The Netherlands, September 1989) |
Editors | J.A. Bergstra, L.M.G. Feijs |
Publisher | Springer |
Pages | 200-231 |
ISBN (Print) | 3-540-53912-3 |
DOIs | |
Publication status | Published - 1991 |
Publication series
Name | Lecture Notes in Computer Science |
---|---|
Volume | 490 |
ISSN (Print) | 0302-9743 |