Matches in SemOpenAlex for { <https://semopenalex.org/work/W1570997565> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W1570997565 abstract "An algorithm for unification modulo one-sided distributivity is an early result by Tid'en and Arnborg. More recently this theory has been of interest in cryptographic protocol analysis due to the fact that many cryptographic operators satisfy this property. Unfortunately the algorithm presented in the paper, although correct, has recently been shown not to be polynomial time bounded as claimed. In addition, for some instances, there exist most general unifiers that are exponentially large with respect to the input size. In this paper we first present a new polynomial time algorithm that solves the decision problem for a non-trivial subcase, based on a typed theory, of unification modulo one-sided distributivity. Next we present a new polynomial algorithm that solves the decision problem for unification modulo one-sided distributivity. A construction, employing string compression, is used to achieve the polynomial bound. Lastly, we examine the one-sided distributivity problem in the new asymmetric unification paradigm. We give the first asymmetric unification algorithm for one-sided distributivity." @default.
- W1570997565 created "2016-06-24" @default.
- W1570997565 creator A5021410622 @default.
- W1570997565 creator A5049710569 @default.
- W1570997565 creator A5083889587 @default.
- W1570997565 date "2015-06-19" @default.
- W1570997565 modified "2023-09-27" @default.
- W1570997565 title "On Unification Modulo One-Sided Distributivity: Algorithms, Variants and Asymmetry" @default.
- W1570997565 cites W1486245824 @default.
- W1570997565 cites W1510722254 @default.
- W1570997565 cites W1570532020 @default.
- W1570997565 cites W1973608346 @default.
- W1570997565 cites W2058459987 @default.
- W1570997565 cites W2566249919 @default.
- W1570997565 doi "https://doi.org/10.2168/lmcs-11(2:11)2015" @default.
- W1570997565 hasPublicationYear "2015" @default.
- W1570997565 type Work @default.
- W1570997565 sameAs 1570997565 @default.
- W1570997565 citedByCount "2" @default.
- W1570997565 countsByYear W15709975652020 @default.
- W1570997565 countsByYear W15709975652021 @default.
- W1570997565 crossrefType "journal-article" @default.
- W1570997565 hasAuthorship W1570997565A5021410622 @default.
- W1570997565 hasAuthorship W1570997565A5049710569 @default.
- W1570997565 hasAuthorship W1570997565A5083889587 @default.
- W1570997565 hasBestOaLocation W15709975651 @default.
- W1570997565 hasConcept C11413529 @default.
- W1570997565 hasConcept C11821877 @default.
- W1570997565 hasConcept C118615104 @default.
- W1570997565 hasConcept C134306372 @default.
- W1570997565 hasConcept C138390121 @default.
- W1570997565 hasConcept C178489894 @default.
- W1570997565 hasConcept C199360897 @default.
- W1570997565 hasConcept C202444582 @default.
- W1570997565 hasConcept C311688 @default.
- W1570997565 hasConcept C33923547 @default.
- W1570997565 hasConcept C41008148 @default.
- W1570997565 hasConcept C54732982 @default.
- W1570997565 hasConcept C90119067 @default.
- W1570997565 hasConcept C96146094 @default.
- W1570997565 hasConceptScore W1570997565C11413529 @default.
- W1570997565 hasConceptScore W1570997565C11821877 @default.
- W1570997565 hasConceptScore W1570997565C118615104 @default.
- W1570997565 hasConceptScore W1570997565C134306372 @default.
- W1570997565 hasConceptScore W1570997565C138390121 @default.
- W1570997565 hasConceptScore W1570997565C178489894 @default.
- W1570997565 hasConceptScore W1570997565C199360897 @default.
- W1570997565 hasConceptScore W1570997565C202444582 @default.
- W1570997565 hasConceptScore W1570997565C311688 @default.
- W1570997565 hasConceptScore W1570997565C33923547 @default.
- W1570997565 hasConceptScore W1570997565C41008148 @default.
- W1570997565 hasConceptScore W1570997565C54732982 @default.
- W1570997565 hasConceptScore W1570997565C90119067 @default.
- W1570997565 hasConceptScore W1570997565C96146094 @default.
- W1570997565 hasLocation W15709975651 @default.
- W1570997565 hasLocation W15709975652 @default.
- W1570997565 hasLocation W15709975653 @default.
- W1570997565 hasOpenAccess W1570997565 @default.
- W1570997565 hasPrimaryLocation W15709975651 @default.
- W1570997565 hasRelatedWork W1570997565 @default.
- W1570997565 hasRelatedWork W1865203519 @default.
- W1570997565 hasRelatedWork W1963980691 @default.
- W1570997565 hasRelatedWork W1975341792 @default.
- W1570997565 hasRelatedWork W2135703585 @default.
- W1570997565 hasRelatedWork W2491346659 @default.
- W1570997565 hasRelatedWork W3011046085 @default.
- W1570997565 hasRelatedWork W3143063018 @default.
- W1570997565 hasRelatedWork W4298361131 @default.
- W1570997565 hasRelatedWork W4308245787 @default.
- W1570997565 hasVolume "Volume 11, Issue 2" @default.
- W1570997565 isParatext "false" @default.
- W1570997565 isRetracted "false" @default.
- W1570997565 magId "1570997565" @default.
- W1570997565 workType "article" @default.