Idempotent elements of WP G(2, 2) ∪ {σ id}
A generalized hypersubstitution of type τ = (2; 2) is a mapping σ which maps the binary operation symbols f and g to terms σ(f) and σ(g) which does not necessarily preserve arities. Any generalized hypersubstitution σ can be extended to a mapping σ on the set of all terms of type τ = (2; 2). A binar...
Saved in:
| 主要作者: | |
|---|---|
| 格式: | 雜誌 |
| 出版: |
2018
|
| 主題: | |
| 在線閱讀: | https://www.scopus.com/inward/record.uri?partnerID=HzOxMe3b&scp=84856050289&origin=inward http://cmuir.cmu.ac.th/jspui/handle/6653943832/50104 |
| 標簽: |
添加標簽
沒有標簽, 成為第一個標記此記錄!
|