Matches in SemOpenAlex for { <https://semopenalex.org/work/W2090865468> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W2090865468 endingPage "123" @default.
- W2090865468 startingPage "119" @default.
- W2090865468 abstract "Although every computable data type has an initial algebra specification with hidden functions, it may happen that some of the homomorphic images of the data type are not models of the specification. The latter are reducts of algebras that would be models of the specification if all its functions were visible, whereas the homomorphic images of the data type are independent of the specification and need not be compatible with the hidden functions used in it. A hidden function specification that does not exclude any of the homomorphic images of its initial model from its model class will be called homomorphism preserving . It turns out that, unlike unrestricted initial homomorphism preserving. It turns out that, unlike unrestricted initial algebra specification, homomorphism preserving initial algebra specification of computable data types requires both hidden sorts and hidden functions." @default.
- W2090865468 created "2016-06-24" @default.
- W2090865468 creator A5026867311 @default.
- W2090865468 creator A5032380170 @default.
- W2090865468 date "1995-05-01" @default.
- W2090865468 modified "2023-09-27" @default.
- W2090865468 title "Homomorphism Preserving Algebraic Specifications Require Hidden Sorts" @default.
- W2090865468 doi "https://doi.org/10.1006/inco.1995.1079" @default.
- W2090865468 hasPublicationYear "1995" @default.
- W2090865468 type Work @default.
- W2090865468 sameAs 2090865468 @default.
- W2090865468 citedByCount "0" @default.
- W2090865468 crossrefType "journal-article" @default.
- W2090865468 hasAuthorship W2090865468A5026867311 @default.
- W2090865468 hasAuthorship W2090865468A5032380170 @default.
- W2090865468 hasBestOaLocation W20908654681 @default.
- W2090865468 hasConcept C111919701 @default.
- W2090865468 hasConcept C118615104 @default.
- W2090865468 hasConcept C134306372 @default.
- W2090865468 hasConcept C136003732 @default.
- W2090865468 hasConcept C136119220 @default.
- W2090865468 hasConcept C14036430 @default.
- W2090865468 hasConcept C148730421 @default.
- W2090865468 hasConcept C154945302 @default.
- W2090865468 hasConcept C158338273 @default.
- W2090865468 hasConcept C182419690 @default.
- W2090865468 hasConcept C199360897 @default.
- W2090865468 hasConcept C201677973 @default.
- W2090865468 hasConcept C202444582 @default.
- W2090865468 hasConcept C2777212361 @default.
- W2090865468 hasConcept C2777691520 @default.
- W2090865468 hasConcept C33923547 @default.
- W2090865468 hasConcept C4042151 @default.
- W2090865468 hasConcept C41008148 @default.
- W2090865468 hasConcept C78458016 @default.
- W2090865468 hasConcept C86803240 @default.
- W2090865468 hasConcept C9376300 @default.
- W2090865468 hasConceptScore W2090865468C111919701 @default.
- W2090865468 hasConceptScore W2090865468C118615104 @default.
- W2090865468 hasConceptScore W2090865468C134306372 @default.
- W2090865468 hasConceptScore W2090865468C136003732 @default.
- W2090865468 hasConceptScore W2090865468C136119220 @default.
- W2090865468 hasConceptScore W2090865468C14036430 @default.
- W2090865468 hasConceptScore W2090865468C148730421 @default.
- W2090865468 hasConceptScore W2090865468C154945302 @default.
- W2090865468 hasConceptScore W2090865468C158338273 @default.
- W2090865468 hasConceptScore W2090865468C182419690 @default.
- W2090865468 hasConceptScore W2090865468C199360897 @default.
- W2090865468 hasConceptScore W2090865468C201677973 @default.
- W2090865468 hasConceptScore W2090865468C202444582 @default.
- W2090865468 hasConceptScore W2090865468C2777212361 @default.
- W2090865468 hasConceptScore W2090865468C2777691520 @default.
- W2090865468 hasConceptScore W2090865468C33923547 @default.
- W2090865468 hasConceptScore W2090865468C4042151 @default.
- W2090865468 hasConceptScore W2090865468C41008148 @default.
- W2090865468 hasConceptScore W2090865468C78458016 @default.
- W2090865468 hasConceptScore W2090865468C86803240 @default.
- W2090865468 hasConceptScore W2090865468C9376300 @default.
- W2090865468 hasIssue "1" @default.
- W2090865468 hasLocation W20908654681 @default.
- W2090865468 hasLocation W20908654682 @default.
- W2090865468 hasLocation W20908654683 @default.
- W2090865468 hasLocation W20908654684 @default.
- W2090865468 hasOpenAccess W2090865468 @default.
- W2090865468 hasPrimaryLocation W20908654681 @default.
- W2090865468 hasRelatedWork W1930582329 @default.
- W2090865468 hasRelatedWork W194002156 @default.
- W2090865468 hasRelatedWork W1970578194 @default.
- W2090865468 hasRelatedWork W2090865468 @default.
- W2090865468 hasRelatedWork W217368 @default.
- W2090865468 hasRelatedWork W2177703916 @default.
- W2090865468 hasRelatedWork W2580801626 @default.
- W2090865468 hasRelatedWork W283664946 @default.
- W2090865468 hasRelatedWork W3096642055 @default.
- W2090865468 hasRelatedWork W38823398 @default.
- W2090865468 hasVolume "119" @default.
- W2090865468 isParatext "false" @default.
- W2090865468 isRetracted "false" @default.
- W2090865468 magId "2090865468" @default.
- W2090865468 workType "article" @default.