Matches in SemOpenAlex for { <https://semopenalex.org/work/W18340424> ?p ?o ?g. }
Showing items 1 to 60 of
60
with 100 items per page.
- W18340424 endingPage "130" @default.
- W18340424 startingPage "124" @default.
- W18340424 created "2016-06-24" @default.
- W18340424 creator A5034178124 @default.
- W18340424 date "1994-01-01" @default.
- W18340424 modified "2023-09-27" @default.
- W18340424 title "Specialization of derivations in Hoare-like logic with recursive procedures." @default.
- W18340424 hasPublicationYear "1994" @default.
- W18340424 type Work @default.
- W18340424 sameAs 18340424 @default.
- W18340424 citedByCount "0" @default.
- W18340424 crossrefType "proceedings-article" @default.
- W18340424 hasAuthorship W18340424A5034178124 @default.
- W18340424 hasConcept C104949639 @default.
- W18340424 hasConcept C156325763 @default.
- W18340424 hasConcept C173856430 @default.
- W18340424 hasConcept C184337299 @default.
- W18340424 hasConcept C199360897 @default.
- W18340424 hasConcept C207648694 @default.
- W18340424 hasConcept C41008148 @default.
- W18340424 hasConcept C55439883 @default.
- W18340424 hasConcept C58041814 @default.
- W18340424 hasConcept C80444323 @default.
- W18340424 hasConceptScore W18340424C104949639 @default.
- W18340424 hasConceptScore W18340424C156325763 @default.
- W18340424 hasConceptScore W18340424C173856430 @default.
- W18340424 hasConceptScore W18340424C184337299 @default.
- W18340424 hasConceptScore W18340424C199360897 @default.
- W18340424 hasConceptScore W18340424C207648694 @default.
- W18340424 hasConceptScore W18340424C41008148 @default.
- W18340424 hasConceptScore W18340424C55439883 @default.
- W18340424 hasConceptScore W18340424C58041814 @default.
- W18340424 hasConceptScore W18340424C80444323 @default.
- W18340424 hasLocation W183404241 @default.
- W18340424 hasOpenAccess W18340424 @default.
- W18340424 hasPrimaryLocation W183404241 @default.
- W18340424 hasRelatedWork W1557727575 @default.
- W18340424 hasRelatedWork W1571049044 @default.
- W18340424 hasRelatedWork W1602856975 @default.
- W18340424 hasRelatedWork W181231885 @default.
- W18340424 hasRelatedWork W1975577974 @default.
- W18340424 hasRelatedWork W2027983931 @default.
- W18340424 hasRelatedWork W2081308133 @default.
- W18340424 hasRelatedWork W2115815300 @default.
- W18340424 hasRelatedWork W2140189867 @default.
- W18340424 hasRelatedWork W2141931064 @default.
- W18340424 hasRelatedWork W2321636882 @default.
- W18340424 hasRelatedWork W2565437359 @default.
- W18340424 hasRelatedWork W2570620460 @default.
- W18340424 hasRelatedWork W2571534558 @default.
- W18340424 hasRelatedWork W2773812365 @default.
- W18340424 hasRelatedWork W2951755804 @default.
- W18340424 hasRelatedWork W3142658169 @default.
- W18340424 hasRelatedWork W61646735 @default.
- W18340424 hasRelatedWork W86787093 @default.
- W18340424 hasRelatedWork W2109517606 @default.
- W18340424 isParatext "false" @default.
- W18340424 isRetracted "false" @default.
- W18340424 magId "18340424" @default.
- W18340424 workType "article" @default.