Matches in SemOpenAlex for { <https://semopenalex.org/work/W2037247941> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W2037247941 endingPage "299" @default.
- W2037247941 startingPage "290" @default.
- W2037247941 abstract "A variety of concepts, laws, and notations are presented which facilitate reasoning about arrays. The basic concepts include intervals and their partitions, functional restriction, images, pointwise extension of relations, ordering, single-point variation of functions, various equivalence relations for array values, and concatenation. The effectiveness of these ideas is illustrated by informal descriptions of algorithms for binary search and merging, and by a short formal proof." @default.
- W2037247941 created "2016-06-24" @default.
- W2037247941 creator A5050862386 @default.
- W2037247941 date "1979-05-01" @default.
- W2037247941 modified "2023-10-18" @default.
- W2037247941 title "Reasoning about arrays" @default.
- W2037247941 cites W1593280365 @default.
- W2037247941 cites W2095224573 @default.
- W2037247941 cites W2134741536 @default.
- W2037247941 cites W2160363852 @default.
- W2037247941 cites W2987907651 @default.
- W2037247941 cites W4251912342 @default.
- W2037247941 doi "https://doi.org/10.1145/359104.359110" @default.
- W2037247941 hasPublicationYear "1979" @default.
- W2037247941 type Work @default.
- W2037247941 sameAs 2037247941 @default.
- W2037247941 citedByCount "36" @default.
- W2037247941 countsByYear W20372479412013 @default.
- W2037247941 countsByYear W20372479412020 @default.
- W2037247941 countsByYear W20372479412022 @default.
- W2037247941 countsByYear W20372479412023 @default.
- W2037247941 crossrefType "journal-article" @default.
- W2037247941 hasAuthorship W2037247941A5050862386 @default.
- W2037247941 hasBestOaLocation W20372479411 @default.
- W2037247941 hasConcept C11413529 @default.
- W2037247941 hasConcept C118615104 @default.
- W2037247941 hasConcept C134306372 @default.
- W2037247941 hasConcept C136119220 @default.
- W2037247941 hasConcept C136197465 @default.
- W2037247941 hasConcept C154945302 @default.
- W2037247941 hasConcept C156103551 @default.
- W2037247941 hasConcept C199360897 @default.
- W2037247941 hasConcept C202444582 @default.
- W2037247941 hasConcept C2777984123 @default.
- W2037247941 hasConcept C2778029271 @default.
- W2037247941 hasConcept C2780069185 @default.
- W2037247941 hasConcept C33923547 @default.
- W2037247941 hasConcept C41008148 @default.
- W2037247941 hasConcept C45357846 @default.
- W2037247941 hasConcept C48372109 @default.
- W2037247941 hasConcept C65180967 @default.
- W2037247941 hasConcept C80444323 @default.
- W2037247941 hasConcept C87619178 @default.
- W2037247941 hasConcept C94375191 @default.
- W2037247941 hasConceptScore W2037247941C11413529 @default.
- W2037247941 hasConceptScore W2037247941C118615104 @default.
- W2037247941 hasConceptScore W2037247941C134306372 @default.
- W2037247941 hasConceptScore W2037247941C136119220 @default.
- W2037247941 hasConceptScore W2037247941C136197465 @default.
- W2037247941 hasConceptScore W2037247941C154945302 @default.
- W2037247941 hasConceptScore W2037247941C156103551 @default.
- W2037247941 hasConceptScore W2037247941C199360897 @default.
- W2037247941 hasConceptScore W2037247941C202444582 @default.
- W2037247941 hasConceptScore W2037247941C2777984123 @default.
- W2037247941 hasConceptScore W2037247941C2778029271 @default.
- W2037247941 hasConceptScore W2037247941C2780069185 @default.
- W2037247941 hasConceptScore W2037247941C33923547 @default.
- W2037247941 hasConceptScore W2037247941C41008148 @default.
- W2037247941 hasConceptScore W2037247941C45357846 @default.
- W2037247941 hasConceptScore W2037247941C48372109 @default.
- W2037247941 hasConceptScore W2037247941C65180967 @default.
- W2037247941 hasConceptScore W2037247941C80444323 @default.
- W2037247941 hasConceptScore W2037247941C87619178 @default.
- W2037247941 hasConceptScore W2037247941C94375191 @default.
- W2037247941 hasIssue "5" @default.
- W2037247941 hasLocation W20372479411 @default.
- W2037247941 hasOpenAccess W2037247941 @default.
- W2037247941 hasPrimaryLocation W20372479411 @default.
- W2037247941 hasRelatedWork W1484166989 @default.
- W2037247941 hasRelatedWork W1493730236 @default.
- W2037247941 hasRelatedWork W1985488429 @default.
- W2037247941 hasRelatedWork W2037247941 @default.
- W2037247941 hasRelatedWork W2062762081 @default.
- W2037247941 hasRelatedWork W2064989302 @default.
- W2037247941 hasRelatedWork W2391083822 @default.
- W2037247941 hasRelatedWork W2558226107 @default.
- W2037247941 hasRelatedWork W4247436880 @default.
- W2037247941 hasRelatedWork W4367694501 @default.
- W2037247941 hasVolume "22" @default.
- W2037247941 isParatext "false" @default.
- W2037247941 isRetracted "false" @default.
- W2037247941 magId "2037247941" @default.
- W2037247941 workType "article" @default.