Matches in SemOpenAlex for { <https://semopenalex.org/work/W2365372175> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W2365372175 abstract "This paper is a continuation of [2]. First, an extended natural deduction system of the programming logic is established and then its completeness is proved. Second, a number of theorems in this formal system are obtained and their application to reasoning about program correctness is demonstrated with some examples." @default.
- W2365372175 created "2016-06-24" @default.
- W2365372175 creator A5039084645 @default.
- W2365372175 date "1983-01-01" @default.
- W2365372175 modified "2023-09-25" @default.
- W2365372175 title "PROGRAMMING LOGIC AND PROGRAM CORRECTNESS PROOF" @default.
- W2365372175 hasPublicationYear "1983" @default.
- W2365372175 type Work @default.
- W2365372175 sameAs 2365372175 @default.
- W2365372175 citedByCount "0" @default.
- W2365372175 crossrefType "journal-article" @default.
- W2365372175 hasAuthorship W2365372175A5039084645 @default.
- W2365372175 hasConcept C128838566 @default.
- W2365372175 hasConcept C134306372 @default.
- W2365372175 hasConcept C17231256 @default.
- W2365372175 hasConcept C189790780 @default.
- W2365372175 hasConcept C199360897 @default.
- W2365372175 hasConcept C33923547 @default.
- W2365372175 hasConcept C34165917 @default.
- W2365372175 hasConcept C41008148 @default.
- W2365372175 hasConcept C50033165 @default.
- W2365372175 hasConcept C55439883 @default.
- W2365372175 hasConcept C80444323 @default.
- W2365372175 hasConcept C88626702 @default.
- W2365372175 hasConcept C96315309 @default.
- W2365372175 hasConceptScore W2365372175C128838566 @default.
- W2365372175 hasConceptScore W2365372175C134306372 @default.
- W2365372175 hasConceptScore W2365372175C17231256 @default.
- W2365372175 hasConceptScore W2365372175C189790780 @default.
- W2365372175 hasConceptScore W2365372175C199360897 @default.
- W2365372175 hasConceptScore W2365372175C33923547 @default.
- W2365372175 hasConceptScore W2365372175C34165917 @default.
- W2365372175 hasConceptScore W2365372175C41008148 @default.
- W2365372175 hasConceptScore W2365372175C50033165 @default.
- W2365372175 hasConceptScore W2365372175C55439883 @default.
- W2365372175 hasConceptScore W2365372175C80444323 @default.
- W2365372175 hasConceptScore W2365372175C88626702 @default.
- W2365372175 hasConceptScore W2365372175C96315309 @default.
- W2365372175 hasLocation W23653721751 @default.
- W2365372175 hasOpenAccess W2365372175 @default.
- W2365372175 hasPrimaryLocation W23653721751 @default.
- W2365372175 hasRelatedWork W1488765759 @default.
- W2365372175 hasRelatedWork W1536660600 @default.
- W2365372175 hasRelatedWork W1538606085 @default.
- W2365372175 hasRelatedWork W1804654308 @default.
- W2365372175 hasRelatedWork W1808960808 @default.
- W2365372175 hasRelatedWork W1902468750 @default.
- W2365372175 hasRelatedWork W2005344510 @default.
- W2365372175 hasRelatedWork W2060714294 @default.
- W2365372175 hasRelatedWork W2099017529 @default.
- W2365372175 hasRelatedWork W2113755395 @default.
- W2365372175 hasRelatedWork W2117689536 @default.
- W2365372175 hasRelatedWork W2132334337 @default.
- W2365372175 hasRelatedWork W2134148399 @default.
- W2365372175 hasRelatedWork W2150334538 @default.
- W2365372175 hasRelatedWork W2160363852 @default.
- W2365372175 hasRelatedWork W2164591125 @default.
- W2365372175 hasRelatedWork W2168776788 @default.
- W2365372175 hasRelatedWork W2289914401 @default.
- W2365372175 hasRelatedWork W2729190934 @default.
- W2365372175 hasRelatedWork W419880051 @default.
- W2365372175 isParatext "false" @default.
- W2365372175 isRetracted "false" @default.
- W2365372175 magId "2365372175" @default.
- W2365372175 workType "article" @default.