Matches in SemOpenAlex for { <https://semopenalex.org/work/W148919634> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W148919634 endingPage "16" @default.
- W148919634 startingPage "1" @default.
- W148919634 created "2016-06-24" @default.
- W148919634 creator A5023315749 @default.
- W148919634 creator A5071276579 @default.
- W148919634 creator A5091650628 @default.
- W148919634 date "2002-01-01" @default.
- W148919634 modified "2023-09-23" @default.
- W148919634 title "Verifying program transformations using partial correctness semantics" @default.
- W148919634 cites W1511110335 @default.
- W148919634 cites W1511826042 @default.
- W148919634 cites W1552647623 @default.
- W148919634 cites W1554683232 @default.
- W148919634 cites W1554859476 @default.
- W148919634 cites W1604240374 @default.
- W148919634 cites W1790873974 @default.
- W148919634 cites W1875046988 @default.
- W148919634 cites W1977285241 @default.
- W148919634 cites W1980767016 @default.
- W148919634 cites W2016265082 @default.
- W148919634 cites W2030865387 @default.
- W148919634 cites W2076964487 @default.
- W148919634 cites W2087713039 @default.
- W148919634 cites W2103953153 @default.
- W148919634 cites W2121645059 @default.
- W148919634 cites W2164591125 @default.
- W148919634 hasPublicationYear "2002" @default.
- W148919634 type Work @default.
- W148919634 sameAs 148919634 @default.
- W148919634 citedByCount "1" @default.
- W148919634 crossrefType "journal-article" @default.
- W148919634 hasAuthorship W148919634A5023315749 @default.
- W148919634 hasAuthorship W148919634A5071276579 @default.
- W148919634 hasAuthorship W148919634A5091650628 @default.
- W148919634 hasConcept C156325763 @default.
- W148919634 hasConcept C184337299 @default.
- W148919634 hasConcept C195701839 @default.
- W148919634 hasConcept C199360897 @default.
- W148919634 hasConcept C207648694 @default.
- W148919634 hasConcept C41008148 @default.
- W148919634 hasConcept C55439883 @default.
- W148919634 hasConcept C58041814 @default.
- W148919634 hasConceptScore W148919634C156325763 @default.
- W148919634 hasConceptScore W148919634C184337299 @default.
- W148919634 hasConceptScore W148919634C195701839 @default.
- W148919634 hasConceptScore W148919634C199360897 @default.
- W148919634 hasConceptScore W148919634C207648694 @default.
- W148919634 hasConceptScore W148919634C41008148 @default.
- W148919634 hasConceptScore W148919634C55439883 @default.
- W148919634 hasConceptScore W148919634C58041814 @default.
- W148919634 hasLocation W1489196341 @default.
- W148919634 hasOpenAccess W148919634 @default.
- W148919634 hasPrimaryLocation W1489196341 @default.
- W148919634 hasRelatedWork W1521424097 @default.
- W148919634 hasRelatedWork W1575902430 @default.
- W148919634 hasRelatedWork W1594296645 @default.
- W148919634 hasRelatedWork W1604343791 @default.
- W148919634 hasRelatedWork W1605424409 @default.
- W148919634 hasRelatedWork W1605464594 @default.
- W148919634 hasRelatedWork W1836717328 @default.
- W148919634 hasRelatedWork W2091106896 @default.
- W148919634 hasRelatedWork W2104097141 @default.
- W148919634 hasRelatedWork W2110726763 @default.
- W148919634 hasRelatedWork W2119436293 @default.
- W148919634 hasRelatedWork W2119669916 @default.
- W148919634 hasRelatedWork W2130372530 @default.
- W148919634 hasRelatedWork W2150219630 @default.
- W148919634 hasRelatedWork W2153133295 @default.
- W148919634 hasRelatedWork W2479117467 @default.
- W148919634 hasRelatedWork W2802512222 @default.
- W148919634 hasRelatedWork W297617173 @default.
- W148919634 hasRelatedWork W3018689464 @default.
- W148919634 hasRelatedWork W2100676127 @default.
- W148919634 isParatext "false" @default.
- W148919634 isRetracted "false" @default.
- W148919634 magId "148919634" @default.
- W148919634 workType "article" @default.