Matches in SemOpenAlex for { <https://semopenalex.org/work/W31482196> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W31482196 endingPage "542" @default.
- W31482196 startingPage "537" @default.
- W31482196 abstract "A resolution-based theorem prover, incorporating a restricted higher-order unification algorithm, has been applied to the automatic synthesis of SNOBOL-4 programs. The set of premisses includes second-order assignment and iteration axioms derived from those of Hoare. Two examples are given of the synthesis of programs that compute elementary functions." @default.
- W31482196 created "2016-06-24" @default.
- W31482196 creator A5077763158 @default.
- W31482196 date "1973-08-20" @default.
- W31482196 modified "2023-09-25" @default.
- W31482196 title "Automatic program synthesis in second-order logic" @default.
- W31482196 cites W2021473914 @default.
- W31482196 cites W2037237472 @default.
- W31482196 cites W2090767487 @default.
- W31482196 cites W2100738443 @default.
- W31482196 cites W3146075203 @default.
- W31482196 hasPublicationYear "1973" @default.
- W31482196 type Work @default.
- W31482196 sameAs 31482196 @default.
- W31482196 citedByCount "1" @default.
- W31482196 crossrefType "proceedings-article" @default.
- W31482196 hasAuthorship W31482196A5077763158 @default.
- W31482196 hasConcept C10138342 @default.
- W31482196 hasConcept C104949639 @default.
- W31482196 hasConcept C108710211 @default.
- W31482196 hasConcept C11413529 @default.
- W31482196 hasConcept C136119220 @default.
- W31482196 hasConcept C138268822 @default.
- W31482196 hasConcept C159718280 @default.
- W31482196 hasConcept C162324750 @default.
- W31482196 hasConcept C167729594 @default.
- W31482196 hasConcept C173856430 @default.
- W31482196 hasConcept C177264268 @default.
- W31482196 hasConcept C182306322 @default.
- W31482196 hasConcept C199360897 @default.
- W31482196 hasConcept C202444582 @default.
- W31482196 hasConcept C206880738 @default.
- W31482196 hasConcept C2524010 @default.
- W31482196 hasConcept C2776937632 @default.
- W31482196 hasConcept C33923547 @default.
- W31482196 hasConcept C41008148 @default.
- W31482196 hasConcept C55439883 @default.
- W31482196 hasConcept C80444323 @default.
- W31482196 hasConcept C96146094 @default.
- W31482196 hasConceptScore W31482196C10138342 @default.
- W31482196 hasConceptScore W31482196C104949639 @default.
- W31482196 hasConceptScore W31482196C108710211 @default.
- W31482196 hasConceptScore W31482196C11413529 @default.
- W31482196 hasConceptScore W31482196C136119220 @default.
- W31482196 hasConceptScore W31482196C138268822 @default.
- W31482196 hasConceptScore W31482196C159718280 @default.
- W31482196 hasConceptScore W31482196C162324750 @default.
- W31482196 hasConceptScore W31482196C167729594 @default.
- W31482196 hasConceptScore W31482196C173856430 @default.
- W31482196 hasConceptScore W31482196C177264268 @default.
- W31482196 hasConceptScore W31482196C182306322 @default.
- W31482196 hasConceptScore W31482196C199360897 @default.
- W31482196 hasConceptScore W31482196C202444582 @default.
- W31482196 hasConceptScore W31482196C206880738 @default.
- W31482196 hasConceptScore W31482196C2524010 @default.
- W31482196 hasConceptScore W31482196C2776937632 @default.
- W31482196 hasConceptScore W31482196C33923547 @default.
- W31482196 hasConceptScore W31482196C41008148 @default.
- W31482196 hasConceptScore W31482196C55439883 @default.
- W31482196 hasConceptScore W31482196C80444323 @default.
- W31482196 hasConceptScore W31482196C96146094 @default.
- W31482196 hasLocation W314821961 @default.
- W31482196 hasOpenAccess W31482196 @default.
- W31482196 hasPrimaryLocation W314821961 @default.
- W31482196 hasRelatedWork W1499474569 @default.
- W31482196 hasRelatedWork W1525121175 @default.
- W31482196 hasRelatedWork W1531955017 @default.
- W31482196 hasRelatedWork W154684055 @default.
- W31482196 hasRelatedWork W1555798792 @default.
- W31482196 hasRelatedWork W1594462889 @default.
- W31482196 hasRelatedWork W1604233443 @default.
- W31482196 hasRelatedWork W1746918808 @default.
- W31482196 hasRelatedWork W1842527047 @default.
- W31482196 hasRelatedWork W1998330152 @default.
- W31482196 hasRelatedWork W2037237472 @default.
- W31482196 hasRelatedWork W2048962981 @default.
- W31482196 hasRelatedWork W2051667248 @default.
- W31482196 hasRelatedWork W207442571 @default.
- W31482196 hasRelatedWork W2095827288 @default.
- W31482196 hasRelatedWork W2097958972 @default.
- W31482196 hasRelatedWork W2148087029 @default.
- W31482196 hasRelatedWork W2158948975 @default.
- W31482196 hasRelatedWork W2569846767 @default.
- W31482196 hasRelatedWork W2611603605 @default.
- W31482196 isParatext "false" @default.
- W31482196 isRetracted "false" @default.
- W31482196 magId "31482196" @default.
- W31482196 workType "article" @default.