Matches in SemOpenAlex for { <https://semopenalex.org/work/W62401054> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- W62401054 endingPage "80" @default.
- W62401054 startingPage "66" @default.
- W62401054 abstract "In this work we study anti-unification for unranked hedges, permitting context and hedge variables. Hedges are sequences of unranked terms. The anti-unification problem of two hedges $tilde{s} $ and $tilde{q}$ is concerned with finding their generalization, a hedge $tilde{g}$ such that both $tilde{s} $ and $tilde{q}$ are substitution instances of $tilde{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 computed generalizations are least general among a certain class of generalizations." @default.
- W62401054 created "2016-06-24" @default.
- W62401054 creator A5064391847 @default.
- W62401054 creator A5080230891 @default.
- W62401054 date "2014-01-01" @default.
- W62401054 modified "2023-09-23" @default.
- W62401054 title "Unranked Second-Order Anti-Unification" @default.
- W62401054 cites W1492604685 @default.
- W62401054 cites W1493621282 @default.
- W62401054 cites W1506984332 @default.
- W62401054 cites W1519498387 @default.
- W62401054 cites W1541777152 @default.
- W62401054 cites W1542742023 @default.
- W62401054 cites W1545897260 @default.
- W62401054 cites W1555227499 @default.
- W62401054 cites W1575597610 @default.
- W62401054 cites W1600465065 @default.
- W62401054 cites W1967732276 @default.
- W62401054 cites W1994644428 @default.
- W62401054 cites W2028789575 @default.
- W62401054 cites W2040074068 @default.
- W62401054 cites W2046953300 @default.
- W62401054 cites W2107923385 @default.
- W62401054 cites W2118511313 @default.
- W62401054 cites W2141979816 @default.
- W62401054 cites W2148628553 @default.
- W62401054 cites W2172096803 @default.
- W62401054 cites W2912710002 @default.
- W62401054 cites W1569963244 @default.
- W62401054 doi "https://doi.org/10.1007/978-3-662-44145-9_5" @default.
- W62401054 hasPublicationYear "2014" @default.
- W62401054 type Work @default.
- W62401054 sameAs 62401054 @default.
- W62401054 citedByCount "2" @default.
- W62401054 countsByYear W624010542014 @default.
- W62401054 countsByYear W624010542022 @default.
- W62401054 crossrefType "book-chapter" @default.
- W62401054 hasAuthorship W62401054A5064391847 @default.
- W62401054 hasAuthorship W62401054A5080230891 @default.
- W62401054 hasConcept C10138342 @default.
- W62401054 hasConcept C144133560 @default.
- W62401054 hasConcept C182306322 @default.
- W62401054 hasConcept C199360897 @default.
- W62401054 hasConcept C33923547 @default.
- W62401054 hasConcept C41008148 @default.
- W62401054 hasConcept C96146094 @default.
- W62401054 hasConceptScore W62401054C10138342 @default.
- W62401054 hasConceptScore W62401054C144133560 @default.
- W62401054 hasConceptScore W62401054C182306322 @default.
- W62401054 hasConceptScore W62401054C199360897 @default.
- W62401054 hasConceptScore W62401054C33923547 @default.
- W62401054 hasConceptScore W62401054C41008148 @default.
- W62401054 hasConceptScore W62401054C96146094 @default.
- W62401054 hasLocation W624010541 @default.
- W62401054 hasOpenAccess W62401054 @default.
- W62401054 hasPrimaryLocation W624010541 @default.
- W62401054 hasRelatedWork W1495298806 @default.
- W62401054 hasRelatedWork W2047288039 @default.
- W62401054 hasRelatedWork W2054384926 @default.
- W62401054 hasRelatedWork W2118359714 @default.
- W62401054 hasRelatedWork W2142041376 @default.
- W62401054 hasRelatedWork W2562957045 @default.
- W62401054 hasRelatedWork W2791124742 @default.
- W62401054 hasRelatedWork W4247778000 @default.
- W62401054 hasRelatedWork W81024070 @default.
- W62401054 hasRelatedWork W2519401319 @default.
- W62401054 isParatext "false" @default.
- W62401054 isRetracted "false" @default.
- W62401054 magId "62401054" @default.
- W62401054 workType "book-chapter" @default.