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:
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
2014
|
| Online Access: | http://www.scopus.com/inward/record.url?eid=2-s2.0-84856050289&partnerID=40&md5=c83c9550a4d44cdb6d79e55f3516cca5 http://cmuir.cmu.ac.th/handle/6653943832/6411 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Institution: | Chiang Mai University |
| Language: | English |