Matches in SemOpenAlex for { <https://semopenalex.org/work/W84452808> ?p ?o ?g. }
Showing items 1 to 64 of
64
with 100 items per page.
- W84452808 endingPage "126" @default.
- W84452808 startingPage "113" @default.
- W84452808 created "2016-06-24" @default.
- W84452808 creator A5029574873 @default.
- W84452808 creator A5071784825 @default.
- W84452808 date "1999-01-01" @default.
- W84452808 modified "2023-09-25" @default.
- W84452808 title "Formal Correctness Proofs of Functional Programs: Dijkstra’s Algorithm, a Case Study" @default.
- W84452808 cites W2021790140 @default.
- W84452808 doi "https://doi.org/10.1007/978-3-642-58622-4_4" @default.
- W84452808 hasPublicationYear "1999" @default.
- W84452808 type Work @default.
- W84452808 sameAs 84452808 @default.
- W84452808 citedByCount "1" @default.
- W84452808 crossrefType "book-chapter" @default.
- W84452808 hasAuthorship W84452808A5029574873 @default.
- W84452808 hasAuthorship W84452808A5071784825 @default.
- W84452808 hasConcept C108710211 @default.
- W84452808 hasConcept C111472728 @default.
- W84452808 hasConcept C11413529 @default.
- W84452808 hasConcept C132525143 @default.
- W84452808 hasConcept C138885662 @default.
- W84452808 hasConcept C173870130 @default.
- W84452808 hasConcept C199360897 @default.
- W84452808 hasConcept C22590252 @default.
- W84452808 hasConcept C2524010 @default.
- W84452808 hasConcept C2780586882 @default.
- W84452808 hasConcept C33923547 @default.
- W84452808 hasConcept C41008148 @default.
- W84452808 hasConcept C55439883 @default.
- W84452808 hasConcept C80444323 @default.
- W84452808 hasConcept C94461902 @default.
- W84452808 hasConceptScore W84452808C108710211 @default.
- W84452808 hasConceptScore W84452808C111472728 @default.
- W84452808 hasConceptScore W84452808C11413529 @default.
- W84452808 hasConceptScore W84452808C132525143 @default.
- W84452808 hasConceptScore W84452808C138885662 @default.
- W84452808 hasConceptScore W84452808C173870130 @default.
- W84452808 hasConceptScore W84452808C199360897 @default.
- W84452808 hasConceptScore W84452808C22590252 @default.
- W84452808 hasConceptScore W84452808C2524010 @default.
- W84452808 hasConceptScore W84452808C2780586882 @default.
- W84452808 hasConceptScore W84452808C33923547 @default.
- W84452808 hasConceptScore W84452808C41008148 @default.
- W84452808 hasConceptScore W84452808C55439883 @default.
- W84452808 hasConceptScore W84452808C80444323 @default.
- W84452808 hasConceptScore W84452808C94461902 @default.
- W84452808 hasLocation W844528081 @default.
- W84452808 hasOpenAccess W84452808 @default.
- W84452808 hasPrimaryLocation W844528081 @default.
- W84452808 hasRelatedWork W1491103038 @default.
- W84452808 hasRelatedWork W1985198438 @default.
- W84452808 hasRelatedWork W2146167845 @default.
- W84452808 hasRelatedWork W2188776605 @default.
- W84452808 hasRelatedWork W2480289003 @default.
- W84452808 hasRelatedWork W2748077663 @default.
- W84452808 hasRelatedWork W2950028700 @default.
- W84452808 hasRelatedWork W4301176064 @default.
- W84452808 hasRelatedWork W4322759249 @default.
- W84452808 hasRelatedWork W84452808 @default.
- W84452808 isParatext "false" @default.
- W84452808 isRetracted "false" @default.
- W84452808 magId "84452808" @default.
- W84452808 workType "book-chapter" @default.