Generalized hypersubstitutions of many-sorted algebras
© 2019 by the Mathematical Association of Thailand. All rights reserved. The concept of many-sorted algebras or heterogeneous algebras is useful for abstract data type specifications in Theoretical Computer Science. It is used to explain for abstract data types. Modules and vector spaces are example...
Saved in:
Main Authors: | Dawan Chumpungam, Sorasak Leeratanavalee |
---|---|
Format: | Journal |
Published: |
2020
|
Subjects: | |
Online Access: | https://www.scopus.com/inward/record.uri?partnerID=HzOxMe3b&scp=85073319803&origin=inward http://cmuir.cmu.ac.th/jspui/handle/6653943832/67905 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | Chiang Mai University |
Similar Items
-
Complexity of terms, superpositions, and generalized hypersubstitutions
by: Wattapong Puninagool, et al.
Published: (2018) -
The order of generalized hypersubstitutions of type τ = (2)
by: Wattapong Puninagool, et al.
Published: (2018) -
Factorisable monoid of generalized hypersubstitutions of type Γ = (2)
by: Ampika Boonmee, et al.
Published: (2018) -
All intra-regular generalized hypersubstitutions of type (2)
by: Ampika Boonmee, et al.
Published: (2019) -
The order of normal form generalized hypersubstitutions of type τ = (2)
by: Sudsanit,S., et al.
Published: (2015)