Matches in SemOpenAlex for { <https://semopenalex.org/work/W2024790008> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W2024790008 endingPage "306" @default.
- W2024790008 startingPage "285" @default.
- W2024790008 abstract "Nominal syntax includes an abstraction operator and a primitive notion of name swapping, that can be used to represent in a simple and natural way systems that include binders. Nominal unification (i.e., solving α-equality constraints between nominal terms) has applications in rewriting and logic programming, amongst others. It is decidable: Urban, Pitts and Gabbay gave a nominal unification algorithm that finds the most general solution to a nominal matching or unification problem, if one exists. A naive implementation of this algorithm is exponential in time; here we describe an algorithm based on a graph representation of nominal terms with lazy propagation of swappings, and show that it is polynomial." @default.
- W2024790008 created "2016-06-24" @default.
- W2024790008 creator A5045485405 @default.
- W2024790008 creator A5072769917 @default.
- W2024790008 date "2008-08-01" @default.
- W2024790008 modified "2023-10-18" @default.
- W2024790008 title "A polynomial nominal unification algorithm" @default.
- W2024790008 cites W2043815581 @default.
- W2024790008 cites W2067330580 @default.
- W2024790008 cites W2075352622 @default.
- W2024790008 cites W2180471721 @default.
- W2024790008 cites W2911271085 @default.
- W2024790008 cites W2912255765 @default.
- W2024790008 doi "https://doi.org/10.1016/j.tcs.2008.05.012" @default.
- W2024790008 hasPublicationYear "2008" @default.
- W2024790008 type Work @default.
- W2024790008 sameAs 2024790008 @default.
- W2024790008 citedByCount "29" @default.
- W2024790008 countsByYear W20247900082012 @default.
- W2024790008 countsByYear W20247900082015 @default.
- W2024790008 countsByYear W20247900082017 @default.
- W2024790008 countsByYear W20247900082019 @default.
- W2024790008 countsByYear W20247900082020 @default.
- W2024790008 countsByYear W20247900082021 @default.
- W2024790008 countsByYear W20247900082022 @default.
- W2024790008 countsByYear W20247900082023 @default.
- W2024790008 crossrefType "journal-article" @default.
- W2024790008 hasAuthorship W2024790008A5045485405 @default.
- W2024790008 hasAuthorship W2024790008A5072769917 @default.
- W2024790008 hasConcept C111472728 @default.
- W2024790008 hasConcept C11413529 @default.
- W2024790008 hasConcept C118615104 @default.
- W2024790008 hasConcept C136119220 @default.
- W2024790008 hasConcept C138885662 @default.
- W2024790008 hasConcept C153269930 @default.
- W2024790008 hasConcept C154690210 @default.
- W2024790008 hasConcept C199360897 @default.
- W2024790008 hasConcept C202444582 @default.
- W2024790008 hasConcept C2780586882 @default.
- W2024790008 hasConcept C311688 @default.
- W2024790008 hasConcept C33923547 @default.
- W2024790008 hasConcept C41008148 @default.
- W2024790008 hasConcept C80444323 @default.
- W2024790008 hasConcept C96146094 @default.
- W2024790008 hasConceptScore W2024790008C111472728 @default.
- W2024790008 hasConceptScore W2024790008C11413529 @default.
- W2024790008 hasConceptScore W2024790008C118615104 @default.
- W2024790008 hasConceptScore W2024790008C136119220 @default.
- W2024790008 hasConceptScore W2024790008C138885662 @default.
- W2024790008 hasConceptScore W2024790008C153269930 @default.
- W2024790008 hasConceptScore W2024790008C154690210 @default.
- W2024790008 hasConceptScore W2024790008C199360897 @default.
- W2024790008 hasConceptScore W2024790008C202444582 @default.
- W2024790008 hasConceptScore W2024790008C2780586882 @default.
- W2024790008 hasConceptScore W2024790008C311688 @default.
- W2024790008 hasConceptScore W2024790008C33923547 @default.
- W2024790008 hasConceptScore W2024790008C41008148 @default.
- W2024790008 hasConceptScore W2024790008C80444323 @default.
- W2024790008 hasConceptScore W2024790008C96146094 @default.
- W2024790008 hasIssue "2-3" @default.
- W2024790008 hasLocation W20247900081 @default.
- W2024790008 hasOpenAccess W2024790008 @default.
- W2024790008 hasPrimaryLocation W20247900081 @default.
- W2024790008 hasRelatedWork W1503879296 @default.
- W2024790008 hasRelatedWork W1854915563 @default.
- W2024790008 hasRelatedWork W1976557413 @default.
- W2024790008 hasRelatedWork W2029981683 @default.
- W2024790008 hasRelatedWork W2065958948 @default.
- W2024790008 hasRelatedWork W2093204796 @default.
- W2024790008 hasRelatedWork W4206200208 @default.
- W2024790008 hasRelatedWork W1550325718 @default.
- W2024790008 hasRelatedWork W2463426273 @default.
- W2024790008 hasRelatedWork W2584451820 @default.
- W2024790008 hasVolume "403" @default.
- W2024790008 isParatext "false" @default.
- W2024790008 isRetracted "false" @default.
- W2024790008 magId "2024790008" @default.
- W2024790008 workType "article" @default.