Proceedings of the 11th International Conference on Rewriting Techniques and Applications
Authors:
Leo Bachmair
Affiliations:
-
Venue:
RTA '00 Proceedings of the 11th International Conference on Rewriting Techniques and Applications
Year:
2000
Citing
0
Cited
1
Cited References
Computer algebra handbook
Quantified Score
Hi-index
0.00
Visualization
Abstract