Matches in SemOpenAlex for { <https://semopenalex.org/work/W2077478451> ?p ?o ?g. }
Showing items 1 to 70 of
70
with 100 items per page.
- W2077478451 endingPage "934" @default.
- W2077478451 startingPage "887" @default.
- W2077478451 abstract "article Free Access Share on Floyd-Hoare logic in iteration theories Authors: Stephen L. Bloom Stevens Institute of Technology, Hoboken, NJ Stevens Institute of Technology, Hoboken, NJView Profile , Zoltán Ésik A. Jozef Univ., Szeged, Hungary A. Jozef Univ., Szeged, HungaryView Profile Authors Info & Claims Journal of the ACMVolume 38Issue 4pp 887–934https://doi.org/10.1145/115234.115352Published:01 October 1991Publication History 17citation686DownloadsMetricsTotal Citations17Total Downloads686Last 12 Months31Last 6 weeks8 Get Citation AlertsNew Citation Alert added!This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my AlertsNew Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteeReaderPDF" @default.
- W2077478451 created "2016-06-24" @default.
- W2077478451 creator A5017293831 @default.
- W2077478451 creator A5050710436 @default.
- W2077478451 date "1991-10-01" @default.
- W2077478451 modified "2023-10-16" @default.
- W2077478451 title "Floyd-Hoare logic in iteration theories" @default.
- W2077478451 cites W1563218161 @default.
- W2077478451 cites W1975577974 @default.
- W2077478451 cites W1987000283 @default.
- W2077478451 cites W1993030727 @default.
- W2077478451 cites W1994586366 @default.
- W2077478451 cites W2042508971 @default.
- W2077478451 cites W2044747903 @default.
- W2077478451 cites W2060903041 @default.
- W2077478451 cites W2068567986 @default.
- W2077478451 cites W2073711304 @default.
- W2077478451 cites W2075350371 @default.
- W2077478451 cites W2082477520 @default.
- W2077478451 cites W2085922276 @default.
- W2077478451 cites W2088049948 @default.
- W2077478451 cites W2094505602 @default.
- W2077478451 cites W2107674601 @default.
- W2077478451 cites W2110846749 @default.
- W2077478451 cites W2111619838 @default.
- W2077478451 cites W2111851448 @default.
- W2077478451 cites W2123694805 @default.
- W2077478451 cites W2987907651 @default.
- W2077478451 cites W4210249530 @default.
- W2077478451 cites W4214523665 @default.
- W2077478451 cites W4232114544 @default.
- W2077478451 doi "https://doi.org/10.1145/115234.115352" @default.
- W2077478451 hasPublicationYear "1991" @default.
- W2077478451 type Work @default.
- W2077478451 sameAs 2077478451 @default.
- W2077478451 citedByCount "20" @default.
- W2077478451 countsByYear W20774784512013 @default.
- W2077478451 countsByYear W20774784512015 @default.
- W2077478451 countsByYear W20774784512019 @default.
- W2077478451 crossrefType "journal-article" @default.
- W2077478451 hasAuthorship W2077478451A5017293831 @default.
- W2077478451 hasAuthorship W2077478451A5050710436 @default.
- W2077478451 hasBestOaLocation W20774784511 @default.
- W2077478451 hasConcept C161191863 @default.
- W2077478451 hasConcept C2778805511 @default.
- W2077478451 hasConcept C41008148 @default.
- W2077478451 hasConceptScore W2077478451C161191863 @default.
- W2077478451 hasConceptScore W2077478451C2778805511 @default.
- W2077478451 hasConceptScore W2077478451C41008148 @default.
- W2077478451 hasIssue "4" @default.
- W2077478451 hasLocation W20774784511 @default.
- W2077478451 hasOpenAccess W2077478451 @default.
- W2077478451 hasPrimaryLocation W20774784511 @default.
- W2077478451 hasRelatedWork W1596801655 @default.
- W2077478451 hasRelatedWork W2130043461 @default.
- W2077478451 hasRelatedWork W2350741829 @default.
- W2077478451 hasRelatedWork W2358668433 @default.
- W2077478451 hasRelatedWork W2376932109 @default.
- W2077478451 hasRelatedWork W2382290278 @default.
- W2077478451 hasRelatedWork W2390279801 @default.
- W2077478451 hasRelatedWork W2748952813 @default.
- W2077478451 hasRelatedWork W2899084033 @default.
- W2077478451 hasRelatedWork W2530322880 @default.
- W2077478451 hasVolume "38" @default.
- W2077478451 isParatext "false" @default.
- W2077478451 isRetracted "false" @default.
- W2077478451 magId "2077478451" @default.
- W2077478451 workType "article" @default.