Applied Tree Enumerations
Authors:
Nachum Dershowitz;Shmuel Zaks
Affiliations:
-;-
Venue:
CAAP '81 Proceedings of the 6th Colloquium on Trees in Algebra and Programming
Year:
1981
Citing
0
Cited
1
Termination of rewriting
Journal of Symbolic Computation
Quantified Score
Hi-index
0.00
Visualization
Abstract