Matches in SemOpenAlex for { <https://semopenalex.org/work/W1578998421> ?p ?o ?g. }
Showing items 1 to 66 of
66
with 100 items per page.
- W1578998421 abstract "This paper proposes an equivalent form of the famous Bohm-Jacopini theorem for declarative languages. C. Bohm and G. Jacopini [1] proved that all programming can be done with at most one single whiledo. That result is cited as a mathematical justification for structured programming. A similar result can be shown for declarative programming. Indeed the simplest class of recursive programs in Horn clause languages can be defined by the following scheme:" @default.
- W1578998421 created "2016-06-24" @default.
- W1578998421 creator A5034224702 @default.
- W1578998421 creator A5037510115 @default.
- W1578998421 creator A5045250456 @default.
- W1578998421 creator A5091368448 @default.
- W1578998421 date "1994-01-01" @default.
- W1578998421 modified "2023-10-14" @default.
- W1578998421 title "One binary horn clause is enough" @default.
- W1578998421 cites W1985127693 @default.
- W1578998421 cites W1992425561 @default.
- W1578998421 cites W2024726864 @default.
- W1578998421 cites W2038745317 @default.
- W1578998421 cites W2078643445 @default.
- W1578998421 cites W2100738443 @default.
- W1578998421 cites W2102075452 @default.
- W1578998421 cites W2154392433 @default.
- W1578998421 cites W2318664218 @default.
- W1578998421 doi "https://doi.org/10.1007/3-540-57785-8_128" @default.
- W1578998421 hasPublicationYear "1994" @default.
- W1578998421 type Work @default.
- W1578998421 sameAs 1578998421 @default.
- W1578998421 citedByCount "0" @default.
- W1578998421 crossrefType "book-chapter" @default.
- W1578998421 hasAuthorship W1578998421A5034224702 @default.
- W1578998421 hasAuthorship W1578998421A5037510115 @default.
- W1578998421 hasAuthorship W1578998421A5045250456 @default.
- W1578998421 hasAuthorship W1578998421A5091368448 @default.
- W1578998421 hasConcept C121332964 @default.
- W1578998421 hasConcept C128838566 @default.
- W1578998421 hasConcept C152076505 @default.
- W1578998421 hasConcept C189790780 @default.
- W1578998421 hasConcept C199360897 @default.
- W1578998421 hasConcept C24890656 @default.
- W1578998421 hasConcept C33923547 @default.
- W1578998421 hasConcept C41008148 @default.
- W1578998421 hasConcept C48372109 @default.
- W1578998421 hasConcept C94375191 @default.
- W1578998421 hasConceptScore W1578998421C121332964 @default.
- W1578998421 hasConceptScore W1578998421C128838566 @default.
- W1578998421 hasConceptScore W1578998421C152076505 @default.
- W1578998421 hasConceptScore W1578998421C189790780 @default.
- W1578998421 hasConceptScore W1578998421C199360897 @default.
- W1578998421 hasConceptScore W1578998421C24890656 @default.
- W1578998421 hasConceptScore W1578998421C33923547 @default.
- W1578998421 hasConceptScore W1578998421C41008148 @default.
- W1578998421 hasConceptScore W1578998421C48372109 @default.
- W1578998421 hasConceptScore W1578998421C94375191 @default.
- W1578998421 hasLocation W15789984211 @default.
- W1578998421 hasLocation W15789984212 @default.
- W1578998421 hasOpenAccess W1578998421 @default.
- W1578998421 hasPrimaryLocation W15789984211 @default.
- W1578998421 hasRelatedWork W2104078272 @default.
- W1578998421 hasRelatedWork W2112962394 @default.
- W1578998421 hasRelatedWork W2118300983 @default.
- W1578998421 hasRelatedWork W2166247150 @default.
- W1578998421 hasRelatedWork W2372612917 @default.
- W1578998421 hasRelatedWork W2382501300 @default.
- W1578998421 hasRelatedWork W2390742962 @default.
- W1578998421 hasRelatedWork W3137189469 @default.
- W1578998421 hasRelatedWork W4235530921 @default.
- W1578998421 hasRelatedWork W4243252198 @default.
- W1578998421 isParatext "false" @default.
- W1578998421 isRetracted "false" @default.
- W1578998421 magId "1578998421" @default.
- W1578998421 workType "book-chapter" @default.