Matches in SemOpenAlex for { <https://semopenalex.org/work/W1488609525> ?p ?o ?g. }
Showing items 1 to 48 of
48
with 100 items per page.
- W1488609525 abstract "A language is considered in which the reader can express such properties of block-structured programs with recursive functions as correctness and partial correctness. The semantics of this language is fully described by a set of schemes of axioms and inference rules. The completeness theorem and the soundness theorem for this axiomatization are proved." @default.
- W1488609525 created "2016-06-24" @default.
- W1488609525 creator A5007619026 @default.
- W1488609525 date "1981-10-01" @default.
- W1488609525 modified "2023-09-24" @default.
- W1488609525 title "Algorithmic Logic with Recursive Functions" @default.
- W1488609525 doi "https://doi.org/10.3233/fi-1981-4411" @default.
- W1488609525 hasPublicationYear "1981" @default.
- W1488609525 type Work @default.
- W1488609525 sameAs 1488609525 @default.
- W1488609525 citedByCount "0" @default.
- W1488609525 crossrefType "journal-article" @default.
- W1488609525 hasAuthorship W1488609525A5007619026 @default.
- W1488609525 hasConcept C199360897 @default.
- W1488609525 hasConcept C33923547 @default.
- W1488609525 hasConcept C41008148 @default.
- W1488609525 hasConcept C80444323 @default.
- W1488609525 hasConceptScore W1488609525C199360897 @default.
- W1488609525 hasConceptScore W1488609525C33923547 @default.
- W1488609525 hasConceptScore W1488609525C41008148 @default.
- W1488609525 hasConceptScore W1488609525C80444323 @default.
- W1488609525 hasLocation W14886095251 @default.
- W1488609525 hasOpenAccess W1488609525 @default.
- W1488609525 hasPrimaryLocation W14886095251 @default.
- W1488609525 hasRelatedWork W1505590927 @default.
- W1488609525 hasRelatedWork W1510109628 @default.
- W1488609525 hasRelatedWork W1562114999 @default.
- W1488609525 hasRelatedWork W1974984838 @default.
- W1488609525 hasRelatedWork W1999629715 @default.
- W1488609525 hasRelatedWork W2023686144 @default.
- W1488609525 hasRelatedWork W2054627574 @default.
- W1488609525 hasRelatedWork W2066345694 @default.
- W1488609525 hasRelatedWork W2066379447 @default.
- W1488609525 hasRelatedWork W2067391307 @default.
- W1488609525 hasRelatedWork W2079009882 @default.
- W1488609525 hasRelatedWork W2091734361 @default.
- W1488609525 hasRelatedWork W2127516415 @default.
- W1488609525 hasRelatedWork W2947509549 @default.
- W1488609525 hasRelatedWork W3146178515 @default.
- W1488609525 hasRelatedWork W566259392 @default.
- W1488609525 hasRelatedWork W582529234 @default.
- W1488609525 hasRelatedWork W585481690 @default.
- W1488609525 hasRelatedWork W616840183 @default.
- W1488609525 hasRelatedWork W641479708 @default.
- W1488609525 isParatext "false" @default.
- W1488609525 isRetracted "false" @default.
- W1488609525 magId "1488609525" @default.
- W1488609525 workType "article" @default.