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 |
---|---|
格式: | 雜誌 |
出版: |
2020
|
主題: | |
在線閱讀: | https://www.scopus.com/inward/record.uri?partnerID=HzOxMe3b&scp=85073319803&origin=inward http://cmuir.cmu.ac.th/jspui/handle/6653943832/67905 |
標簽: |
添加標簽
沒有標簽, 成為第一個標記此記錄!
|
相似書籍
-
Complexity of terms, superpositions, and generalized hypersubstitutions
由: Wattapong Puninagool, et al.
出版: (2018) -
The order of generalized hypersubstitutions of type τ = (2)
由: Wattapong Puninagool, et al.
出版: (2018) -
Factorisable monoid of generalized hypersubstitutions of type Γ = (2)
由: Ampika Boonmee, et al.
出版: (2018) -
All intra-regular generalized hypersubstitutions of type (2)
由: Ampika Boonmee, et al.
出版: (2019) -
The order of normal form generalized hypersubstitutions of type τ = (2)
由: Sudsanit,S., et al.
出版: (2015)