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:	Mathematics
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

id	th-cmuir.6653943832-67905
record_format	dspace
spelling	th-cmuir.6653943832-679052020-04-02T15:10:39Z Generalized hypersubstitutions of many-sorted algebras Dawan Chumpungam Sorasak Leeratanavalee Mathematics © 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 examples of many-sorted algebras. In this paper we extend the concept of a generalized hypersubstitution from one-sorted algebras or homogeneous algebras to manysorted algebras. We define the I-sorted set of all Σ-generalized hypersubstitutions on special type and define a binary operation on this set. We show that this set together with the binary operation forms a monoid. 2020-04-02T15:10:39Z 2020-04-02T15:10:39Z 2019-08-01 Journal 16860209 2-s2.0-85073319803 https://www.scopus.com/inward/record.uri?partnerID=HzOxMe3b&scp=85073319803&origin=inward http://cmuir.cmu.ac.th/jspui/handle/6653943832/67905
institution	Chiang Mai University
building	Chiang Mai University Library
country	Thailand
collection	CMU Intellectual Repository
topic	Mathematics
spellingShingle	Mathematics Dawan Chumpungam Sorasak Leeratanavalee Generalized hypersubstitutions of many-sorted algebras
description	© 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 examples of many-sorted algebras. In this paper we extend the concept of a generalized hypersubstitution from one-sorted algebras or homogeneous algebras to manysorted algebras. We define the I-sorted set of all Σ-generalized hypersubstitutions on special type and define a binary operation on this set. We show that this set together with the binary operation forms a monoid.
format	Journal
author	Dawan Chumpungam Sorasak Leeratanavalee
author_facet	Dawan Chumpungam Sorasak Leeratanavalee
author_sort	Dawan Chumpungam
title	Generalized hypersubstitutions of many-sorted algebras
title_short	Generalized hypersubstitutions of many-sorted algebras
title_full	Generalized hypersubstitutions of many-sorted algebras
title_fullStr	Generalized hypersubstitutions of many-sorted algebras
title_full_unstemmed	Generalized hypersubstitutions of many-sorted algebras
title_sort	generalized hypersubstitutions of many-sorted algebras
publishDate	2020
url	https://www.scopus.com/inward/record.uri?partnerID=HzOxMe3b&scp=85073319803&origin=inward http://cmuir.cmu.ac.th/jspui/handle/6653943832/67905
_version_	1681426721572651008

Generalized hypersubstitutions of many-sorted algebras

Similar Items