Matches in SemOpenAlex for { <https://semopenalex.org/work/W1751726266> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W1751726266 endingPage "302" @default.
- W1751726266 startingPage "288" @default.
- W1751726266 abstract "Sequence variables play an interesting role in unification and matching when dealing with terms in an unranked signature. Sequence Unification generalizes Word Unification and seems to be appealing for information extraction in XML documents, program transformation, and rule-based programming.In this work we study a relation between Sequence Unification and another generalization of Word Unification: Context Unification. We introduce a variant of Context Unification, called Left-Hole Context Unification that serves us to reduce Sequence Unification to it: We define a partial currying procedure to translate sequence unification problems into left-hole context unification problems, and prove soundness of the translation. Furthermore, a precise characterization of the shape of the unifiers allows us to easily reduce Left-Hole Context Unification to (the decidable problem of) Word Unification with Regular Constraints, obtaining then a decidability proof for an extension of Sequence Unification." @default.
- W1751726266 created "2016-06-24" @default.
- W1751726266 creator A5021854785 @default.
- W1751726266 creator A5027212883 @default.
- W1751726266 creator A5080230891 @default.
- W1751726266 date "2007-08-13" @default.
- W1751726266 modified "2023-10-16" @default.
- W1751726266 title "Sequence Unification Through Currying" @default.
- W1751726266 cites W1486399178 @default.
- W1751726266 cites W1501058900 @default.
- W1751726266 cites W1502428252 @default.
- W1751726266 cites W1527448164 @default.
- W1751726266 cites W1551243253 @default.
- W1751726266 cites W1559143961 @default.
- W1751726266 cites W1571354586 @default.
- W1751726266 cites W1608443439 @default.
- W1751726266 cites W1759458034 @default.
- W1751726266 cites W1847375251 @default.
- W1751726266 cites W1988935908 @default.
- W1751726266 cites W1993370765 @default.
- W1751726266 cites W2052951585 @default.
- W1751726266 cites W2071191685 @default.
- W1751726266 cites W2089022513 @default.
- W1751726266 cites W2103181655 @default.
- W1751726266 cites W2106224667 @default.
- W1751726266 cites W2123995178 @default.
- W1751726266 cites W2133093325 @default.
- W1751726266 cites W2135622971 @default.
- W1751726266 cites W2144354278 @default.
- W1751726266 doi "https://doi.org/10.1007/978-3-540-73449-9_22" @default.
- W1751726266 hasPublicationYear "2007" @default.
- W1751726266 type Work @default.
- W1751726266 sameAs 1751726266 @default.
- W1751726266 citedByCount "9" @default.
- W1751726266 countsByYear W17517262662013 @default.
- W1751726266 countsByYear W17517262662014 @default.
- W1751726266 countsByYear W17517262662015 @default.
- W1751726266 countsByYear W17517262662022 @default.
- W1751726266 crossrefType "book-chapter" @default.
- W1751726266 hasAuthorship W1751726266A5021854785 @default.
- W1751726266 hasAuthorship W1751726266A5027212883 @default.
- W1751726266 hasAuthorship W1751726266A5080230891 @default.
- W1751726266 hasBestOaLocation W17517262662 @default.
- W1751726266 hasConcept C11413529 @default.
- W1751726266 hasConcept C151730666 @default.
- W1751726266 hasConcept C153269930 @default.
- W1751726266 hasConcept C199360897 @default.
- W1751726266 hasConcept C2778112365 @default.
- W1751726266 hasConcept C2779343474 @default.
- W1751726266 hasConcept C39920170 @default.
- W1751726266 hasConcept C41008148 @default.
- W1751726266 hasConcept C54355233 @default.
- W1751726266 hasConcept C80444323 @default.
- W1751726266 hasConcept C86803240 @default.
- W1751726266 hasConcept C96146094 @default.
- W1751726266 hasConceptScore W1751726266C11413529 @default.
- W1751726266 hasConceptScore W1751726266C151730666 @default.
- W1751726266 hasConceptScore W1751726266C153269930 @default.
- W1751726266 hasConceptScore W1751726266C199360897 @default.
- W1751726266 hasConceptScore W1751726266C2778112365 @default.
- W1751726266 hasConceptScore W1751726266C2779343474 @default.
- W1751726266 hasConceptScore W1751726266C39920170 @default.
- W1751726266 hasConceptScore W1751726266C41008148 @default.
- W1751726266 hasConceptScore W1751726266C54355233 @default.
- W1751726266 hasConceptScore W1751726266C80444323 @default.
- W1751726266 hasConceptScore W1751726266C86803240 @default.
- W1751726266 hasConceptScore W1751726266C96146094 @default.
- W1751726266 hasLocation W17517262661 @default.
- W1751726266 hasLocation W17517262662 @default.
- W1751726266 hasLocation W17517262663 @default.
- W1751726266 hasOpenAccess W1751726266 @default.
- W1751726266 hasPrimaryLocation W17517262661 @default.
- W1751726266 hasRelatedWork W1751726266 @default.
- W1751726266 hasRelatedWork W1844468970 @default.
- W1751726266 hasRelatedWork W2082974091 @default.
- W1751726266 hasRelatedWork W2155993098 @default.
- W1751726266 hasRelatedWork W2764270235 @default.
- W1751726266 hasRelatedWork W2950061322 @default.
- W1751726266 hasRelatedWork W2963870476 @default.
- W1751726266 hasRelatedWork W3162124224 @default.
- W1751726266 hasRelatedWork W4301025473 @default.
- W1751726266 hasRelatedWork W47178408 @default.
- W1751726266 isParatext "false" @default.
- W1751726266 isRetracted "false" @default.
- W1751726266 magId "1751726266" @default.
- W1751726266 workType "book-chapter" @default.