Factorisable monoid of generalized hypersubstitutions of type<inf>T</inf> = (n)
© 2016, Univerzita Komenskeho. All rights reserved. A generalized hypersubstitution of type T maps any operation symbols to the set of all terms. The extensions of generalized hypersubstitutions are map-pings on the set of all terms. The set of all such generalized hypersubstitutions forms a monoid....
Saved in:
| Main Authors: | , |
|---|---|
| 格式: | 雜誌 |
| 出版: |
2017
|
| 在線閱讀: | https://www.scopus.com/inward/record.uri?partnerID=HzOxMe3b&scp=84955266615&origin=inward http://cmuir.cmu.ac.th/jspui/handle/6653943832/42370 |
| 標簽: |
添加標簽
沒有標簽, 成為第一個標記此記錄!
|
| 機構: | Chiang Mai University |