Title | Algebraic Methods II: Theory, Tools and Applications |
---|---|
Author | N. W. P. van Diepen, H. A. Partsch (auth.), J. A. Bergstra, L. M. G. Feijs (eds.) |
Year | 1991 |
Edition | 1 |
Volume | |
Series | Lecture Notes in Computer Science 490 |
Publisher | Springer-Verlag Berlin Heidelberg |
City | Berlin; New York |
Language | English |