Matches in SemOpenAlex for { <https://semopenalex.org/work/W2943508736> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W2943508736 endingPage "473" @default.
- W2943508736 startingPage "463" @default.
- W2943508736 abstract "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 many-sorted algebras. We define the $I$-sortede set of all $Sigma$-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." @default.
- W2943508736 created "2019-05-09" @default.
- W2943508736 creator A5037418953 @default.
- W2943508736 creator A5064270698 @default.
- W2943508736 date "2019-03-21" @default.
- W2943508736 modified "2023-09-26" @default.
- W2943508736 title "Generalized Hypersubstitutions of Many-Sorted Algebras" @default.
- W2943508736 cites W2068519207 @default.
- W2943508736 cites W2120366296 @default.
- W2943508736 hasPublicationYear "2019" @default.
- W2943508736 type Work @default.
- W2943508736 sameAs 2943508736 @default.
- W2943508736 citedByCount "0" @default.
- W2943508736 crossrefType "journal-article" @default.
- W2943508736 hasAuthorship W2943508736A5037418953 @default.
- W2943508736 hasAuthorship W2943508736A5064270698 @default.
- W2943508736 hasConcept C114614502 @default.
- W2943508736 hasConcept C118615104 @default.
- W2943508736 hasConcept C136119220 @default.
- W2943508736 hasConcept C14394260 @default.
- W2943508736 hasConcept C177264268 @default.
- W2943508736 hasConcept C185529760 @default.
- W2943508736 hasConcept C18903297 @default.
- W2943508736 hasConcept C199360897 @default.
- W2943508736 hasConcept C202444582 @default.
- W2943508736 hasConcept C203254541 @default.
- W2943508736 hasConcept C206901836 @default.
- W2943508736 hasConcept C207264727 @default.
- W2943508736 hasConcept C2777299769 @default.
- W2943508736 hasConcept C33923547 @default.
- W2943508736 hasConcept C41008148 @default.
- W2943508736 hasConcept C48372109 @default.
- W2943508736 hasConcept C518143113 @default.
- W2943508736 hasConcept C65180967 @default.
- W2943508736 hasConcept C66882249 @default.
- W2943508736 hasConcept C86803240 @default.
- W2943508736 hasConcept C94375191 @default.
- W2943508736 hasConceptScore W2943508736C114614502 @default.
- W2943508736 hasConceptScore W2943508736C118615104 @default.
- W2943508736 hasConceptScore W2943508736C136119220 @default.
- W2943508736 hasConceptScore W2943508736C14394260 @default.
- W2943508736 hasConceptScore W2943508736C177264268 @default.
- W2943508736 hasConceptScore W2943508736C185529760 @default.
- W2943508736 hasConceptScore W2943508736C18903297 @default.
- W2943508736 hasConceptScore W2943508736C199360897 @default.
- W2943508736 hasConceptScore W2943508736C202444582 @default.
- W2943508736 hasConceptScore W2943508736C203254541 @default.
- W2943508736 hasConceptScore W2943508736C206901836 @default.
- W2943508736 hasConceptScore W2943508736C207264727 @default.
- W2943508736 hasConceptScore W2943508736C2777299769 @default.
- W2943508736 hasConceptScore W2943508736C33923547 @default.
- W2943508736 hasConceptScore W2943508736C41008148 @default.
- W2943508736 hasConceptScore W2943508736C48372109 @default.
- W2943508736 hasConceptScore W2943508736C518143113 @default.
- W2943508736 hasConceptScore W2943508736C65180967 @default.
- W2943508736 hasConceptScore W2943508736C66882249 @default.
- W2943508736 hasConceptScore W2943508736C86803240 @default.
- W2943508736 hasConceptScore W2943508736C94375191 @default.
- W2943508736 hasIssue "2" @default.
- W2943508736 hasLocation W29435087361 @default.
- W2943508736 hasOpenAccess W2943508736 @default.
- W2943508736 hasPrimaryLocation W29435087361 @default.
- W2943508736 hasRelatedWork W152365439 @default.
- W2943508736 hasRelatedWork W1621744996 @default.
- W2943508736 hasRelatedWork W1968587168 @default.
- W2943508736 hasRelatedWork W1976866503 @default.
- W2943508736 hasRelatedWork W1986392419 @default.
- W2943508736 hasRelatedWork W1999133948 @default.
- W2943508736 hasRelatedWork W2015331097 @default.
- W2943508736 hasRelatedWork W2053808291 @default.
- W2943508736 hasRelatedWork W2062286811 @default.
- W2943508736 hasRelatedWork W2088133398 @default.
- W2943508736 hasRelatedWork W2149118376 @default.
- W2943508736 hasRelatedWork W2262337356 @default.
- W2943508736 hasRelatedWork W2492440249 @default.
- W2943508736 hasRelatedWork W2763556082 @default.
- W2943508736 hasRelatedWork W2785960813 @default.
- W2943508736 hasRelatedWork W2962705218 @default.
- W2943508736 hasRelatedWork W2987571026 @default.
- W2943508736 hasRelatedWork W2993967375 @default.
- W2943508736 hasRelatedWork W3082456757 @default.
- W2943508736 hasRelatedWork W1803641605 @default.
- W2943508736 hasVolume "17" @default.
- W2943508736 isParatext "false" @default.
- W2943508736 isRetracted "false" @default.
- W2943508736 magId "2943508736" @default.
- W2943508736 workType "article" @default.