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...

Full description

Saved in:
Bibliographic Details
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