Zobrazeno 1 - 2
of 2
pro vyhledávání: '"08A15, 08A25"'
Publikováno v:
International Journal of Algebra and Computation Vol. 16, No. 4 (2006) 797-815
Hypersubstitutions are mappings which map operation symbols to terms. Terms can be visualized by trees. Hypersubstitutions can be extended to mappings defined on sets of trees. The nodes of the trees, describing terms, are labelled by operation symbo
Externí odkaz:
http://arxiv.org/abs/0811.4764
Hypersubstitutions are mappings which map operation symbols to terms. Terms can be visualized by trees. Hypersubstitutions can be extended to mappings defined on sets of trees. The nodes of the trees, describing terms, are labelled by operation symbo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a480d230c05316ddd9f9cc7da0f62b30