All intra-regular generalized hypersubstitutions of type (2)

© 2019 Ampika Boonmee et al., published by Sciendo 2019. A generalized hypersubstitution of type τ maps each operation symbol of the type to a term of the type, and can be extended to a mapping defined on the set of all terms of this type. The set of all such generalized hypersubstitutions forms a m...

وصف كامل

محفوظ في:
التفاصيل البيبلوغرافية
المؤلفون الرئيسيون: Ampika Boonmee, Sorasak Leeratanavalee
التنسيق: دورية
منشور في: 2019
الموضوعات:
الوصول للمادة أونلاين:https://www.scopus.com/inward/record.uri?partnerID=HzOxMe3b&scp=85071511123&origin=inward
http://cmuir.cmu.ac.th/jspui/handle/6653943832/66693
الوسوم: إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
المؤسسة: Chiang Mai University