Matches in SemOpenAlex for { <https://semopenalex.org/work/W2743655241> ?p ?o ?g. }
Showing items 1 to 58 of
58
with 100 items per page.
- W2743655241 created "2017-08-17" @default.
- W2743655241 creator A5067387552 @default.
- W2743655241 date "2000-01-01" @default.
- W2743655241 modified "2023-09-27" @default.
- W2743655241 title "Hoare logic for GOLOG programs" @default.
- W2743655241 cites W1490966766 @default.
- W2743655241 cites W1980738498 @default.
- W2743655241 cites W1991086659 @default.
- W2743655241 cites W2022716165 @default.
- W2743655241 cites W2046213250 @default.
- W2743655241 cites W2069300761 @default.
- W2743655241 cites W2069709605 @default.
- W2743655241 cites W2075350371 @default.
- W2743655241 cites W2091990349 @default.
- W2743655241 cites W2105505307 @default.
- W2743655241 cites W2111619838 @default.
- W2743655241 cites W2123596219 @default.
- W2743655241 cites W2140295918 @default.
- W2743655241 cites W2336123333 @default.
- W2743655241 cites W3139094484 @default.
- W2743655241 cites W3146075203 @default.
- W2743655241 hasPublicationYear "2000" @default.
- W2743655241 type Work @default.
- W2743655241 sameAs 2743655241 @default.
- W2743655241 citedByCount "0" @default.
- W2743655241 crossrefType "dissertation" @default.
- W2743655241 hasAuthorship W2743655241A5067387552 @default.
- W2743655241 hasConcept C199360897 @default.
- W2743655241 hasConcept C41008148 @default.
- W2743655241 hasConceptScore W2743655241C199360897 @default.
- W2743655241 hasConceptScore W2743655241C41008148 @default.
- W2743655241 hasLocation W27436552411 @default.
- W2743655241 hasOpenAccess W2743655241 @default.
- W2743655241 hasPrimaryLocation W27436552411 @default.
- W2743655241 hasRelatedWork W108535879 @default.
- W2743655241 hasRelatedWork W134284596 @default.
- W2743655241 hasRelatedWork W1486855705 @default.
- W2743655241 hasRelatedWork W1558326452 @default.
- W2743655241 hasRelatedWork W1586633289 @default.
- W2743655241 hasRelatedWork W1597918680 @default.
- W2743655241 hasRelatedWork W1600987490 @default.
- W2743655241 hasRelatedWork W1918806322 @default.
- W2743655241 hasRelatedWork W2406862705 @default.
- W2743655241 hasRelatedWork W2483416580 @default.
- W2743655241 hasRelatedWork W2503882009 @default.
- W2743655241 hasRelatedWork W2526788653 @default.
- W2743655241 hasRelatedWork W2583385682 @default.
- W2743655241 hasRelatedWork W2756643279 @default.
- W2743655241 hasRelatedWork W2898965366 @default.
- W2743655241 hasRelatedWork W30930445 @default.
- W2743655241 hasRelatedWork W56863910 @default.
- W2743655241 hasRelatedWork W65862859 @default.
- W2743655241 hasRelatedWork W68738721 @default.
- W2743655241 hasRelatedWork W2476530739 @default.
- W2743655241 isParatext "false" @default.
- W2743655241 isRetracted "false" @default.
- W2743655241 magId "2743655241" @default.
- W2743655241 workType "dissertation" @default.