Matches in SemOpenAlex for { <https://semopenalex.org/work/W2078476977> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- W2078476977 endingPage "11" @default.
- W2078476977 startingPage "1" @default.
- W2078476977 abstract "Nominal unification calculates substitutions that make terms involving binders equal modulo alpha-equivalence. Although nominal unification can be seen as equivalent to Miller's higher-order pattern unification, it has properties, such as the use of first-order terms with names (as opposed to alpha-equivalence classes) and that no new names need to be generated during unification, which set it clearly apart from higher-order pattern unification. The purpose of this paper is to simplify a clunky proof from the original paper on nominal unification and to give an overview over some results about nominal unification." @default.
- W2078476977 created "2016-06-24" @default.
- W2078476977 creator A5021400820 @default.
- W2078476977 date "2010-12-21" @default.
- W2078476977 modified "2023-09-30" @default.
- W2078476977 title "Nominal Unification Revisited" @default.
- W2078476977 cites W1484198662 @default.
- W2078476977 cites W1544467561 @default.
- W2078476977 cites W1559950975 @default.
- W2078476977 cites W2075352622 @default.
- W2078476977 cites W2911271085 @default.
- W2078476977 doi "https://doi.org/10.4204/eptcs.42.1" @default.
- W2078476977 hasPublicationYear "2010" @default.
- W2078476977 type Work @default.
- W2078476977 sameAs 2078476977 @default.
- W2078476977 citedByCount "7" @default.
- W2078476977 countsByYear W20784769772012 @default.
- W2078476977 countsByYear W20784769772016 @default.
- W2078476977 countsByYear W20784769772017 @default.
- W2078476977 countsByYear W20784769772018 @default.
- W2078476977 countsByYear W20784769772019 @default.
- W2078476977 countsByYear W20784769772023 @default.
- W2078476977 crossrefType "journal-article" @default.
- W2078476977 hasAuthorship W2078476977A5021400820 @default.
- W2078476977 hasBestOaLocation W20784769771 @default.
- W2078476977 hasConcept C10138342 @default.
- W2078476977 hasConcept C114614502 @default.
- W2078476977 hasConcept C136119220 @default.
- W2078476977 hasConcept C162324750 @default.
- W2078476977 hasConcept C182306322 @default.
- W2078476977 hasConcept C199360897 @default.
- W2078476977 hasConcept C202444582 @default.
- W2078476977 hasConcept C2780069185 @default.
- W2078476977 hasConcept C33923547 @default.
- W2078476977 hasConcept C41008148 @default.
- W2078476977 hasConcept C54732982 @default.
- W2078476977 hasConcept C94375191 @default.
- W2078476977 hasConcept C96146094 @default.
- W2078476977 hasConceptScore W2078476977C10138342 @default.
- W2078476977 hasConceptScore W2078476977C114614502 @default.
- W2078476977 hasConceptScore W2078476977C136119220 @default.
- W2078476977 hasConceptScore W2078476977C162324750 @default.
- W2078476977 hasConceptScore W2078476977C182306322 @default.
- W2078476977 hasConceptScore W2078476977C199360897 @default.
- W2078476977 hasConceptScore W2078476977C202444582 @default.
- W2078476977 hasConceptScore W2078476977C2780069185 @default.
- W2078476977 hasConceptScore W2078476977C33923547 @default.
- W2078476977 hasConceptScore W2078476977C41008148 @default.
- W2078476977 hasConceptScore W2078476977C54732982 @default.
- W2078476977 hasConceptScore W2078476977C94375191 @default.
- W2078476977 hasConceptScore W2078476977C96146094 @default.
- W2078476977 hasLocation W20784769771 @default.
- W2078476977 hasLocation W20784769772 @default.
- W2078476977 hasOpenAccess W2078476977 @default.
- W2078476977 hasPrimaryLocation W20784769771 @default.
- W2078476977 hasRelatedWork W1667966289 @default.
- W2078476977 hasRelatedWork W1789110513 @default.
- W2078476977 hasRelatedWork W2028207499 @default.
- W2078476977 hasRelatedWork W2294268194 @default.
- W2078476977 hasRelatedWork W2318342593 @default.
- W2078476977 hasRelatedWork W2323374929 @default.
- W2078476977 hasRelatedWork W2810367355 @default.
- W2078476977 hasRelatedWork W2954497896 @default.
- W2078476977 hasRelatedWork W2964187826 @default.
- W2078476977 hasRelatedWork W4241194123 @default.
- W2078476977 hasVolume "42" @default.
- W2078476977 isParatext "false" @default.
- W2078476977 isRetracted "false" @default.
- W2078476977 magId "2078476977" @default.
- W2078476977 workType "article" @default.