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...

Full description

Bibliographic Details
Main Authors: Klaus Denecke, Shelly L. Wismath
Format: Article
Language:English
Published: Hindawi Limited 2003-01-01
Series:International Journal of Mathematics and Mathematical Sciences
Online Access:http://dx.doi.org/10.1155/S0161171203202118

Similar Items