Complexity of terms, composition, and hypersubstitution
We consider four useful measures of the complexity of a term: the maximum depth (usually called the depth), the minimum depth, the variable count, and the operation count. For each of these, we produce a formula for the complexity of the composition Smn(s,t1,…,tn) in terms of the complexity of the i...
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Wiley
2003-01-01
|
| Series: | International Journal of Mathematics and Mathematical Sciences |
| Online Access: | http://dx.doi.org/10.1155/S0161171203202118 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|