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
標簽: 添加標簽
沒有標簽, 成為第一個標記此記錄!