Matches in SemOpenAlex for { <https://semopenalex.org/work/W758601887> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W758601887 created "2016-06-24" @default.
- W758601887 creator A5030768487 @default.
- W758601887 date "1999-07-01" @default.
- W758601887 modified "2023-09-24" @default.
- W758601887 title "Proving Correctness of Modular Functional Programs" @default.
- W758601887 cites W11725919 @default.
- W758601887 cites W1487403858 @default.
- W758601887 cites W1497881407 @default.
- W758601887 cites W1539706239 @default.
- W758601887 cites W1573802872 @default.
- W758601887 cites W1583630764 @default.
- W758601887 cites W1584721038 @default.
- W758601887 cites W1588934256 @default.
- W758601887 cites W1590963539 @default.
- W758601887 cites W1864194708 @default.
- W758601887 cites W1926673875 @default.
- W758601887 cites W1996404651 @default.
- W758601887 cites W2005973420 @default.
- W758601887 cites W2010273585 @default.
- W758601887 cites W2033914241 @default.
- W758601887 cites W2064811181 @default.
- W758601887 cites W2067914884 @default.
- W758601887 cites W2087028873 @default.
- W758601887 cites W2118883965 @default.
- W758601887 cites W2124729849 @default.
- W758601887 cites W2128057448 @default.
- W758601887 cites W2144687289 @default.
- W758601887 cites W2178257282 @default.
- W758601887 cites W2264491443 @default.
- W758601887 cites W2323777246 @default.
- W758601887 cites W2326972230 @default.
- W758601887 cites W2499354155 @default.
- W758601887 cites W2568721247 @default.
- W758601887 cites W2758630732 @default.
- W758601887 cites W3023216518 @default.
- W758601887 cites W3146075203 @default.
- W758601887 cites W569543113 @default.
- W758601887 cites W74180852 @default.
- W758601887 cites W3081423745 @default.
- W758601887 hasPublicationYear "1999" @default.
- W758601887 type Work @default.
- W758601887 sameAs 758601887 @default.
- W758601887 citedByCount "1" @default.
- W758601887 countsByYear W7586018872013 @default.
- W758601887 crossrefType "dissertation" @default.
- W758601887 hasAuthorship W758601887A5030768487 @default.
- W758601887 hasConcept C101468663 @default.
- W758601887 hasConcept C115903868 @default.
- W758601887 hasConcept C199360897 @default.
- W758601887 hasConcept C41008148 @default.
- W758601887 hasConcept C55439883 @default.
- W758601887 hasConceptScore W758601887C101468663 @default.
- W758601887 hasConceptScore W758601887C115903868 @default.
- W758601887 hasConceptScore W758601887C199360897 @default.
- W758601887 hasConceptScore W758601887C41008148 @default.
- W758601887 hasConceptScore W758601887C55439883 @default.
- W758601887 hasLocation W7586018871 @default.
- W758601887 hasOpenAccess W758601887 @default.
- W758601887 hasPrimaryLocation W7586018871 @default.
- W758601887 hasRelatedWork W139306770 @default.
- W758601887 hasRelatedWork W1488765759 @default.
- W758601887 hasRelatedWork W1503459483 @default.
- W758601887 hasRelatedWork W1999785779 @default.
- W758601887 hasRelatedWork W2011962675 @default.
- W758601887 hasRelatedWork W2060714294 @default.
- W758601887 hasRelatedWork W2079282627 @default.
- W758601887 hasRelatedWork W2113755395 @default.
- W758601887 hasRelatedWork W2132334337 @default.
- W758601887 hasRelatedWork W2150334538 @default.
- W758601887 hasRelatedWork W2157195121 @default.
- W758601887 hasRelatedWork W2185623129 @default.
- W758601887 hasRelatedWork W2402922100 @default.
- W758601887 hasRelatedWork W2507721939 @default.
- W758601887 hasRelatedWork W2605421786 @default.
- W758601887 hasRelatedWork W354294022 @default.
- W758601887 hasRelatedWork W37688745 @default.
- W758601887 hasRelatedWork W70488853 @default.
- W758601887 hasRelatedWork W99787977 @default.
- W758601887 hasRelatedWork W2188971921 @default.
- W758601887 isParatext "false" @default.
- W758601887 isRetracted "false" @default.
- W758601887 magId "758601887" @default.
- W758601887 workType "dissertation" @default.