Matches in SemOpenAlex for { <https://semopenalex.org/work/W1582688644> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W1582688644 endingPage "302" @default.
- W1582688644 startingPage "291" @default.
- W1582688644 created "2016-06-24" @default.
- W1582688644 creator A5064315130 @default.
- W1582688644 creator A5087991671 @default.
- W1582688644 date "1991-01-01" @default.
- W1582688644 modified "2023-09-25" @default.
- W1582688644 title "A confluent reduction for the λ-calculus with surjective pairing and terminal object" @default.
- W1582688644 cites W1582688644 @default.
- W1582688644 cites W1981838174 @default.
- W1582688644 cites W2009987765 @default.
- W1582688644 cites W2053672707 @default.
- W1582688644 cites W2081822152 @default.
- W1582688644 cites W2095553492 @default.
- W1582688644 cites W2149837936 @default.
- W1582688644 cites W2166482687 @default.
- W1582688644 doi "https://doi.org/10.1007/3-540-54233-7_142" @default.
- W1582688644 hasPublicationYear "1991" @default.
- W1582688644 type Work @default.
- W1582688644 sameAs 1582688644 @default.
- W1582688644 citedByCount "24" @default.
- W1582688644 countsByYear W15826886442018 @default.
- W1582688644 crossrefType "book-chapter" @default.
- W1582688644 hasAuthorship W1582688644A5064315130 @default.
- W1582688644 hasAuthorship W1582688644A5087991671 @default.
- W1582688644 hasConcept C11413529 @default.
- W1582688644 hasConcept C118615104 @default.
- W1582688644 hasConcept C119238805 @default.
- W1582688644 hasConcept C135790938 @default.
- W1582688644 hasConcept C137212723 @default.
- W1582688644 hasConcept C142156749 @default.
- W1582688644 hasConcept C153269930 @default.
- W1582688644 hasConcept C154690210 @default.
- W1582688644 hasConcept C171032842 @default.
- W1582688644 hasConcept C199343813 @default.
- W1582688644 hasConcept C199360897 @default.
- W1582688644 hasConcept C2777686260 @default.
- W1582688644 hasConcept C33923547 @default.
- W1582688644 hasConcept C41008148 @default.
- W1582688644 hasConcept C61237538 @default.
- W1582688644 hasConcept C71924100 @default.
- W1582688644 hasConcept C77906462 @default.
- W1582688644 hasConcept C83852419 @default.
- W1582688644 hasConceptScore W1582688644C11413529 @default.
- W1582688644 hasConceptScore W1582688644C118615104 @default.
- W1582688644 hasConceptScore W1582688644C119238805 @default.
- W1582688644 hasConceptScore W1582688644C135790938 @default.
- W1582688644 hasConceptScore W1582688644C137212723 @default.
- W1582688644 hasConceptScore W1582688644C142156749 @default.
- W1582688644 hasConceptScore W1582688644C153269930 @default.
- W1582688644 hasConceptScore W1582688644C154690210 @default.
- W1582688644 hasConceptScore W1582688644C171032842 @default.
- W1582688644 hasConceptScore W1582688644C199343813 @default.
- W1582688644 hasConceptScore W1582688644C199360897 @default.
- W1582688644 hasConceptScore W1582688644C2777686260 @default.
- W1582688644 hasConceptScore W1582688644C33923547 @default.
- W1582688644 hasConceptScore W1582688644C41008148 @default.
- W1582688644 hasConceptScore W1582688644C61237538 @default.
- W1582688644 hasConceptScore W1582688644C71924100 @default.
- W1582688644 hasConceptScore W1582688644C77906462 @default.
- W1582688644 hasConceptScore W1582688644C83852419 @default.
- W1582688644 hasLocation W15826886441 @default.
- W1582688644 hasOpenAccess W1582688644 @default.
- W1582688644 hasPrimaryLocation W15826886441 @default.
- W1582688644 hasRelatedWork W1510403819 @default.
- W1582688644 hasRelatedWork W1557413548 @default.
- W1582688644 hasRelatedWork W1563667006 @default.
- W1582688644 hasRelatedWork W1585482631 @default.
- W1582688644 hasRelatedWork W1589742942 @default.
- W1582688644 hasRelatedWork W1593641477 @default.
- W1582688644 hasRelatedWork W159715351 @default.
- W1582688644 hasRelatedWork W1940464372 @default.
- W1582688644 hasRelatedWork W1988292549 @default.
- W1582688644 hasRelatedWork W1991895871 @default.
- W1582688644 hasRelatedWork W2009987765 @default.
- W1582688644 hasRelatedWork W2016850380 @default.
- W1582688644 hasRelatedWork W2049362364 @default.
- W1582688644 hasRelatedWork W2064236106 @default.
- W1582688644 hasRelatedWork W2091036953 @default.
- W1582688644 hasRelatedWork W2133348159 @default.
- W1582688644 hasRelatedWork W2153353244 @default.
- W1582688644 hasRelatedWork W2154273644 @default.
- W1582688644 hasRelatedWork W3118426202 @default.
- W1582688644 hasRelatedWork W744953381 @default.
- W1582688644 isParatext "false" @default.
- W1582688644 isRetracted "false" @default.
- W1582688644 magId "1582688644" @default.
- W1582688644 workType "book-chapter" @default.