Complexity of terms, superpositions, and generalized hypersubstitutions
In this paper, we consider the four useful measurements of the complexity of a term, called the maximum depth, the minimum depth, the variable count, and the operation count. We construct a formula for the complexity of the superposition Sm(s, t1, ..., tm) in terms of complexity of the inputs s, t1,...
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Journal |
| Published: |
2018
|
| Subjects: | |
| Online Access: | https://www.scopus.com/inward/record.uri?partnerID=HzOxMe3b&scp=72949120350&origin=inward http://cmuir.cmu.ac.th/jspui/handle/6653943832/50734 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Institution: | Chiang Mai University |