Matches in SemOpenAlex for { <https://semopenalex.org/work/W1559970946> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W1559970946 endingPage "199" @default.
- W1559970946 startingPage "184" @default.
- W1559970946 created "2016-06-24" @default.
- W1559970946 creator A5077330939 @default.
- W1559970946 date "1996-01-01" @default.
- W1559970946 modified "2023-09-25" @default.
- W1559970946 title "Confluence properties of extensional and non-extensional λ-calculi with explicit substitutions (extended abstract)" @default.
- W1559970946 cites W1483430268 @default.
- W1559970946 cites W1488897269 @default.
- W1559970946 cites W1553023270 @default.
- W1559970946 cites W1557413548 @default.
- W1559970946 cites W1559970946 @default.
- W1559970946 cites W1560809858 @default.
- W1559970946 cites W1563667006 @default.
- W1559970946 cites W1582688644 @default.
- W1559970946 cites W1589742942 @default.
- W1559970946 cites W1679090009 @default.
- W1559970946 cites W1970547272 @default.
- W1559970946 cites W2009987765 @default.
- W1559970946 cites W2071267598 @default.
- W1559970946 cites W2118420900 @default.
- W1559970946 cites W2151872924 @default.
- W1559970946 cites W2568721247 @default.
- W1559970946 cites W26222086 @default.
- W1559970946 cites W4235981359 @default.
- W1559970946 cites W4254218077 @default.
- W1559970946 doi "https://doi.org/10.1007/3-540-61464-8_52" @default.
- W1559970946 hasPublicationYear "1996" @default.
- W1559970946 type Work @default.
- W1559970946 sameAs 1559970946 @default.
- W1559970946 citedByCount "14" @default.
- W1559970946 crossrefType "book-chapter" @default.
- W1559970946 hasAuthorship W1559970946A5077330939 @default.
- W1559970946 hasConcept C11413529 @default.
- W1559970946 hasConcept C127313418 @default.
- W1559970946 hasConcept C134306372 @default.
- W1559970946 hasConcept C136137745 @default.
- W1559970946 hasConcept C150355047 @default.
- W1559970946 hasConcept C151730666 @default.
- W1559970946 hasConcept C199360897 @default.
- W1559970946 hasConcept C33923547 @default.
- W1559970946 hasConcept C41008148 @default.
- W1559970946 hasConcept C77618280 @default.
- W1559970946 hasConcept C77906462 @default.
- W1559970946 hasConcept C77928131 @default.
- W1559970946 hasConceptScore W1559970946C11413529 @default.
- W1559970946 hasConceptScore W1559970946C127313418 @default.
- W1559970946 hasConceptScore W1559970946C134306372 @default.
- W1559970946 hasConceptScore W1559970946C136137745 @default.
- W1559970946 hasConceptScore W1559970946C150355047 @default.
- W1559970946 hasConceptScore W1559970946C151730666 @default.
- W1559970946 hasConceptScore W1559970946C199360897 @default.
- W1559970946 hasConceptScore W1559970946C33923547 @default.
- W1559970946 hasConceptScore W1559970946C41008148 @default.
- W1559970946 hasConceptScore W1559970946C77618280 @default.
- W1559970946 hasConceptScore W1559970946C77906462 @default.
- W1559970946 hasConceptScore W1559970946C77928131 @default.
- W1559970946 hasLocation W15599709461 @default.
- W1559970946 hasOpenAccess W1559970946 @default.
- W1559970946 hasPrimaryLocation W15599709461 @default.
- W1559970946 hasRelatedWork W1485115793 @default.
- W1559970946 hasRelatedWork W1537788508 @default.
- W1559970946 hasRelatedWork W1559970946 @default.
- W1559970946 hasRelatedWork W1581474096 @default.
- W1559970946 hasRelatedWork W1973000567 @default.
- W1559970946 hasRelatedWork W1976336764 @default.
- W1559970946 hasRelatedWork W206478063 @default.
- W1559970946 hasRelatedWork W2591203006 @default.
- W1559970946 hasRelatedWork W2585497351 @default.
- W1559970946 hasRelatedWork W2625301111 @default.
- W1559970946 isParatext "false" @default.
- W1559970946 isRetracted "false" @default.
- W1559970946 magId "1559970946" @default.
- W1559970946 workType "book-chapter" @default.