Matches in SemOpenAlex for { <https://semopenalex.org/work/W2579137497> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W2579137497 endingPage "286" @default.
- W2579137497 startingPage "262" @default.
- W2579137497 abstract "Abstract In this work we study anti-unification for unranked terms and hedges, permitting context and hedge variables. Hedges are sequences of unranked terms. The anti-unification problem of two hedges s ˜ and q ˜ is concerned with finding their generalization, a hedge g ˜ such that both s ˜ and q ˜ are substitution instances of g ˜ . Second-order power is gained by using context variables to generalize vertical differences at the input hedges. Hedge variables are used to generalize horizontal differences. An anti-unification algorithm is presented, which computes a generalization of input hedges and records all the differences. The algorithm is parametric by a skeleton computation function. For instance, we can compute a generalization of a skeleton which represents a constrained longest common subforest, or an agreement subhedge/subtree of the input hedges. The computation of the generalization is done in quadratic time." @default.
- W2579137497 created "2017-01-26" @default.
- W2579137497 creator A5064391847 @default.
- W2579137497 creator A5080230891 @default.
- W2579137497 date "2017-08-01" @default.
- W2579137497 modified "2023-09-23" @default.
- W2579137497 title "Unranked second-order anti-unification" @default.
- W2579137497 cites W1492604685 @default.
- W2579137497 cites W1506984332 @default.
- W2579137497 cites W1542742023 @default.
- W2579137497 cites W1545897260 @default.
- W2579137497 cites W1575597610 @default.
- W2579137497 cites W1600465065 @default.
- W2579137497 cites W1967732276 @default.
- W2579137497 cites W2028789575 @default.
- W2579137497 cites W2046953300 @default.
- W2579137497 cites W2048906114 @default.
- W2579137497 cites W2082630739 @default.
- W2579137497 cites W2101832700 @default.
- W2579137497 cites W2141979816 @default.
- W2579137497 cites W2166278331 @default.
- W2579137497 cites W2171168235 @default.
- W2579137497 cites W2323378191 @default.
- W2579137497 cites W2912710002 @default.
- W2579137497 cites W4245412069 @default.
- W2579137497 doi "https://doi.org/10.1016/j.ic.2017.01.005" @default.
- W2579137497 hasPublicationYear "2017" @default.
- W2579137497 type Work @default.
- W2579137497 sameAs 2579137497 @default.
- W2579137497 citedByCount "4" @default.
- W2579137497 countsByYear W25791374972019 @default.
- W2579137497 countsByYear W25791374972020 @default.
- W2579137497 countsByYear W25791374972021 @default.
- W2579137497 crossrefType "journal-article" @default.
- W2579137497 hasAuthorship W2579137497A5064391847 @default.
- W2579137497 hasAuthorship W2579137497A5080230891 @default.
- W2579137497 hasBestOaLocation W25791374971 @default.
- W2579137497 hasConcept C10138342 @default.
- W2579137497 hasConcept C114614502 @default.
- W2579137497 hasConcept C136119220 @default.
- W2579137497 hasConcept C144133560 @default.
- W2579137497 hasConcept C182306322 @default.
- W2579137497 hasConcept C199360897 @default.
- W2579137497 hasConcept C202444582 @default.
- W2579137497 hasConcept C33923547 @default.
- W2579137497 hasConcept C41008148 @default.
- W2579137497 hasConcept C96146094 @default.
- W2579137497 hasConceptScore W2579137497C10138342 @default.
- W2579137497 hasConceptScore W2579137497C114614502 @default.
- W2579137497 hasConceptScore W2579137497C136119220 @default.
- W2579137497 hasConceptScore W2579137497C144133560 @default.
- W2579137497 hasConceptScore W2579137497C182306322 @default.
- W2579137497 hasConceptScore W2579137497C199360897 @default.
- W2579137497 hasConceptScore W2579137497C202444582 @default.
- W2579137497 hasConceptScore W2579137497C33923547 @default.
- W2579137497 hasConceptScore W2579137497C41008148 @default.
- W2579137497 hasConceptScore W2579137497C96146094 @default.
- W2579137497 hasLocation W25791374971 @default.
- W2579137497 hasOpenAccess W2579137497 @default.
- W2579137497 hasPrimaryLocation W25791374971 @default.
- W2579137497 hasRelatedWork W1978042415 @default.
- W2579137497 hasRelatedWork W2017331178 @default.
- W2579137497 hasRelatedWork W2054384926 @default.
- W2579137497 hasRelatedWork W2118359714 @default.
- W2579137497 hasRelatedWork W2562957045 @default.
- W2579137497 hasRelatedWork W2791124742 @default.
- W2579137497 hasRelatedWork W2976797620 @default.
- W2579137497 hasRelatedWork W3086542228 @default.
- W2579137497 hasRelatedWork W81024070 @default.
- W2579137497 hasRelatedWork W2519401319 @default.
- W2579137497 hasVolume "255" @default.
- W2579137497 isParatext "false" @default.
- W2579137497 isRetracted "false" @default.
- W2579137497 magId "2579137497" @default.
- W2579137497 workType "article" @default.