Matches in SemOpenAlex for { <https://semopenalex.org/work/W1978823961> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W1978823961 endingPage "170" @default.
- W1978823961 startingPage "160" @default.
- W1978823961 abstract "Several different first-order formal logics of programs—Algorithmic Logic, Dynamic Logic, and Logic of Effective Definitions—are compared and shown to be equivalent to a fragment of constructive L ω 1 ω . When programs are modelled as effective flowcharts, the logics of deterministic and nondeterministic programs are equivalent." @default.
- W1978823961 created "2016-06-24" @default.
- W1978823961 creator A5023573472 @default.
- W1978823961 creator A5043105322 @default.
- W1978823961 date "1984-10-01" @default.
- W1978823961 modified "2023-10-14" @default.
- W1978823961 title "Equivalences among logics of programs" @default.
- W1978823961 cites W1490966766 @default.
- W1978823961 cites W1491380905 @default.
- W1978823961 cites W1514216237 @default.
- W1978823961 cites W1546746643 @default.
- W1978823961 cites W1560420247 @default.
- W1978823961 cites W1572219859 @default.
- W1978823961 cites W1574129634 @default.
- W1978823961 cites W1576395732 @default.
- W1978823961 cites W1577412708 @default.
- W1978823961 cites W1979159285 @default.
- W1978823961 cites W1984464989 @default.
- W1978823961 cites W2007469624 @default.
- W1978823961 cites W2010360535 @default.
- W1978823961 cites W2014131084 @default.
- W1978823961 cites W2015640848 @default.
- W1978823961 cites W2073078970 @default.
- W1978823961 cites W2077724310 @default.
- W1978823961 cites W2086108880 @default.
- W1978823961 cites W2087821987 @default.
- W1978823961 cites W2139771984 @default.
- W1978823961 cites W2164591125 @default.
- W1978823961 cites W2797503723 @default.
- W1978823961 cites W3182062373 @default.
- W1978823961 cites W384076753 @default.
- W1978823961 doi "https://doi.org/10.1016/0022-0000(84)90027-8" @default.
- W1978823961 hasPublicationYear "1984" @default.
- W1978823961 type Work @default.
- W1978823961 sameAs 1978823961 @default.
- W1978823961 citedByCount "8" @default.
- W1978823961 countsByYear W19788239612016 @default.
- W1978823961 crossrefType "journal-article" @default.
- W1978823961 hasAuthorship W1978823961A5023573472 @default.
- W1978823961 hasAuthorship W1978823961A5043105322 @default.
- W1978823961 hasBestOaLocation W19788239611 @default.
- W1978823961 hasConcept C102993220 @default.
- W1978823961 hasConcept C121332964 @default.
- W1978823961 hasConcept C154564781 @default.
- W1978823961 hasConcept C154690210 @default.
- W1978823961 hasConcept C165801399 @default.
- W1978823961 hasConcept C172385210 @default.
- W1978823961 hasConcept C176181172 @default.
- W1978823961 hasConcept C199360897 @default.
- W1978823961 hasConcept C2776235265 @default.
- W1978823961 hasConcept C2777796570 @default.
- W1978823961 hasConcept C2778701210 @default.
- W1978823961 hasConcept C33923547 @default.
- W1978823961 hasConcept C41008148 @default.
- W1978823961 hasConcept C62520636 @default.
- W1978823961 hasConcept C72041958 @default.
- W1978823961 hasConcept C80444323 @default.
- W1978823961 hasConcept C98045186 @default.
- W1978823961 hasConceptScore W1978823961C102993220 @default.
- W1978823961 hasConceptScore W1978823961C121332964 @default.
- W1978823961 hasConceptScore W1978823961C154564781 @default.
- W1978823961 hasConceptScore W1978823961C154690210 @default.
- W1978823961 hasConceptScore W1978823961C165801399 @default.
- W1978823961 hasConceptScore W1978823961C172385210 @default.
- W1978823961 hasConceptScore W1978823961C176181172 @default.
- W1978823961 hasConceptScore W1978823961C199360897 @default.
- W1978823961 hasConceptScore W1978823961C2776235265 @default.
- W1978823961 hasConceptScore W1978823961C2777796570 @default.
- W1978823961 hasConceptScore W1978823961C2778701210 @default.
- W1978823961 hasConceptScore W1978823961C33923547 @default.
- W1978823961 hasConceptScore W1978823961C41008148 @default.
- W1978823961 hasConceptScore W1978823961C62520636 @default.
- W1978823961 hasConceptScore W1978823961C72041958 @default.
- W1978823961 hasConceptScore W1978823961C80444323 @default.
- W1978823961 hasConceptScore W1978823961C98045186 @default.
- W1978823961 hasIssue "2" @default.
- W1978823961 hasLocation W19788239611 @default.
- W1978823961 hasOpenAccess W1978823961 @default.
- W1978823961 hasPrimaryLocation W19788239611 @default.
- W1978823961 hasRelatedWork W1249507685 @default.
- W1978823961 hasRelatedWork W1490422246 @default.
- W1978823961 hasRelatedWork W1516822407 @default.
- W1978823961 hasRelatedWork W1640599491 @default.
- W1978823961 hasRelatedWork W1978823961 @default.
- W1978823961 hasRelatedWork W2042996991 @default.
- W1978823961 hasRelatedWork W2124008746 @default.
- W1978823961 hasRelatedWork W2602017964 @default.
- W1978823961 hasRelatedWork W2773266969 @default.
- W1978823961 hasRelatedWork W4302587616 @default.
- W1978823961 hasVolume "29" @default.
- W1978823961 isParatext "false" @default.
- W1978823961 isRetracted "false" @default.
- W1978823961 magId "1978823961" @default.
- W1978823961 workType "article" @default.