Power clones and non-deterministic hypersubstitutions
Hypersubstitutions map operation symbols to terms of the corresponding arity. Any hypersubstitution can be extended to a mapping defined on the set Wτ(X) of all terms of type τ. If σ : {fi| i ∈ I} → Wτ(X) is a hypersubstitution and σ̄ : Wτ(X) → Wτ(X) its canonical extension, then the set Tσ:= {(t, σ...
محفوظ في:
| المؤلفون الرئيسيون: | , , |
|---|---|
| التنسيق: | دورية |
| منشور في: |
2018
|
| الموضوعات: | |
| الوصول للمادة أونلاين: | https://www.scopus.com/inward/record.uri?partnerID=HzOxMe3b&scp=77958520793&origin=inward http://cmuir.cmu.ac.th/jspui/handle/6653943832/60554 |
| الوسوم: |
إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
|
| المؤسسة: | Chiang Mai University |