The Depth of a Hypersubstitution
arXiv:0811.4762
Abstract
For given depth of a we derive a formula for the depth of the image of that term under a given hypersubstitution.
10 pages
arXiv:0811.4762
For given depth of a we derive a formula for the depth of the image of that term under a given hypersubstitution.
10 pages