Matches in SemOpenAlex for { <https://semopenalex.org/work/W8663670> ?p ?o ?g. }
Showing items 1 to 63 of
63
with 100 items per page.
- W8663670 abstract "We show that the set of fixed-point combinators forms a recursively-enumerable subset of a larger set of terms that is (A) not recursively enumerable, and (B) the terms of which are observationally equivalent to fixed-point combinators in any computable context." @default.
- W8663670 created "2016-06-24" @default.
- W8663670 creator A5020949139 @default.
- W8663670 date "2004-11-11" @default.
- W8663670 modified "2023-10-05" @default.
- W8663670 title "On the Recursive Enumerability of Fixed-Point Combinators" @default.
- W8663670 cites W1592287058 @default.
- W8663670 cites W1594912681 @default.
- W8663670 cites W1985231917 @default.
- W8663670 cites W2117832390 @default.
- W8663670 cites W2154273644 @default.
- W8663670 cites W2329766482 @default.
- W8663670 doi "https://doi.org/10.7146/brics.v11i25.21850" @default.
- W8663670 hasPublicationYear "2004" @default.
- W8663670 type Work @default.
- W8663670 sameAs 8663670 @default.
- W8663670 citedByCount "0" @default.
- W8663670 crossrefType "journal-article" @default.
- W8663670 hasAuthorship W8663670A5020949139 @default.
- W8663670 hasBestOaLocation W86636701 @default.
- W8663670 hasConcept C118615104 @default.
- W8663670 hasConcept C134306372 @default.
- W8663670 hasConcept C151730666 @default.
- W8663670 hasConcept C177264268 @default.
- W8663670 hasConcept C199360897 @default.
- W8663670 hasConcept C203702658 @default.
- W8663670 hasConcept C2779343474 @default.
- W8663670 hasConcept C33923547 @default.
- W8663670 hasConcept C41008148 @default.
- W8663670 hasConcept C61445026 @default.
- W8663670 hasConcept C79678938 @default.
- W8663670 hasConcept C86803240 @default.
- W8663670 hasConceptScore W8663670C118615104 @default.
- W8663670 hasConceptScore W8663670C134306372 @default.
- W8663670 hasConceptScore W8663670C151730666 @default.
- W8663670 hasConceptScore W8663670C177264268 @default.
- W8663670 hasConceptScore W8663670C199360897 @default.
- W8663670 hasConceptScore W8663670C203702658 @default.
- W8663670 hasConceptScore W8663670C2779343474 @default.
- W8663670 hasConceptScore W8663670C33923547 @default.
- W8663670 hasConceptScore W8663670C41008148 @default.
- W8663670 hasConceptScore W8663670C61445026 @default.
- W8663670 hasConceptScore W8663670C79678938 @default.
- W8663670 hasConceptScore W8663670C86803240 @default.
- W8663670 hasIssue "25" @default.
- W8663670 hasLocation W86636701 @default.
- W8663670 hasOpenAccess W8663670 @default.
- W8663670 hasPrimaryLocation W86636701 @default.
- W8663670 hasRelatedWork W1481954199 @default.
- W8663670 hasRelatedWork W2031659000 @default.
- W8663670 hasRelatedWork W2061657773 @default.
- W8663670 hasRelatedWork W2149250372 @default.
- W8663670 hasRelatedWork W2169114697 @default.
- W8663670 hasRelatedWork W2514111614 @default.
- W8663670 hasRelatedWork W2530034566 @default.
- W8663670 hasRelatedWork W2905313256 @default.
- W8663670 hasRelatedWork W4256542825 @default.
- W8663670 hasRelatedWork W8663670 @default.
- W8663670 hasVolume "11" @default.
- W8663670 isParatext "false" @default.
- W8663670 isRetracted "false" @default.
- W8663670 magId "8663670" @default.
- W8663670 workType "article" @default.