Matches in SemOpenAlex for { <https://semopenalex.org/work/W2544140088> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W2544140088 abstract "In the field of automated deduction, natural language understanding, theorem proving and rewriting theory, unification theory is a very fundamental process. Nowadays researchers have designed several efficient unification algorithms and many automated tools have also been developed. However, there is no efficient practice of an E-unifier generator. In this paper, we propose an efficient method to construct an E-unifier generator. Firstly we implement an algorithm for syntactic unification. Via the bijection between terms and shapes of trees, we can get the correlative set of terms by the transformation of shapes of trees. After these operations, we expand the syntactic unification solution to E-unification. This proposal is able to solve E-unification problems in which case the Diophantine Equations is unable to help. Hence, the method is practical enough for other research works. <sup xmlns:mml=http://www.w3.org/1998/Math/MathML xmlns:xlink=http://www.w3.org/1999/xlink>1</sup>" @default.
- W2544140088 created "2016-11-04" @default.
- W2544140088 creator A5022583120 @default.
- W2544140088 creator A5026704864 @default.
- W2544140088 date "2010-12-01" @default.
- W2544140088 modified "2023-10-18" @default.
- W2544140088 title "An efficient algorithm for automatic equational unifier generation" @default.
- W2544140088 cites W1543811964 @default.
- W2544140088 cites W1557124064 @default.
- W2544140088 cites W1583295953 @default.
- W2544140088 cites W172159181 @default.
- W2544140088 cites W185430123 @default.
- W2544140088 cites W1975341792 @default.
- W2544140088 cites W1986538822 @default.
- W2544140088 cites W2029693536 @default.
- W2544140088 cites W2035574181 @default.
- W2544140088 cites W2044337617 @default.
- W2544140088 cites W2090054066 @default.
- W2544140088 cites W2096506501 @default.
- W2544140088 cites W2097134979 @default.
- W2544140088 cites W2097718906 @default.
- W2544140088 cites W2100738443 @default.
- W2544140088 cites W2103664311 @default.
- W2544140088 cites W2105795109 @default.
- W2544140088 cites W2113722134 @default.
- W2544140088 cites W2161675955 @default.
- W2544140088 cites W2299894576 @default.
- W2544140088 cites W2913944636 @default.
- W2544140088 doi "https://doi.org/10.1109/pic.2010.5687998" @default.
- W2544140088 hasPublicationYear "2010" @default.
- W2544140088 type Work @default.
- W2544140088 sameAs 2544140088 @default.
- W2544140088 citedByCount "0" @default.
- W2544140088 crossrefType "proceedings-article" @default.
- W2544140088 hasAuthorship W2544140088A5022583120 @default.
- W2544140088 hasAuthorship W2544140088A5026704864 @default.
- W2544140088 hasConcept C104317684 @default.
- W2544140088 hasConcept C11413529 @default.
- W2544140088 hasConcept C118615104 @default.
- W2544140088 hasConcept C121332964 @default.
- W2544140088 hasConcept C154690210 @default.
- W2544140088 hasConcept C163258240 @default.
- W2544140088 hasConcept C177264268 @default.
- W2544140088 hasConcept C185592680 @default.
- W2544140088 hasConcept C199360897 @default.
- W2544140088 hasConcept C202444582 @default.
- W2544140088 hasConcept C204241405 @default.
- W2544140088 hasConcept C206880738 @default.
- W2544140088 hasConcept C24424167 @default.
- W2544140088 hasConcept C2780801425 @default.
- W2544140088 hasConcept C2780992000 @default.
- W2544140088 hasConcept C33923547 @default.
- W2544140088 hasConcept C41008148 @default.
- W2544140088 hasConcept C55493867 @default.
- W2544140088 hasConcept C62520636 @default.
- W2544140088 hasConcept C80444323 @default.
- W2544140088 hasConcept C96146094 @default.
- W2544140088 hasConcept C9652623 @default.
- W2544140088 hasConceptScore W2544140088C104317684 @default.
- W2544140088 hasConceptScore W2544140088C11413529 @default.
- W2544140088 hasConceptScore W2544140088C118615104 @default.
- W2544140088 hasConceptScore W2544140088C121332964 @default.
- W2544140088 hasConceptScore W2544140088C154690210 @default.
- W2544140088 hasConceptScore W2544140088C163258240 @default.
- W2544140088 hasConceptScore W2544140088C177264268 @default.
- W2544140088 hasConceptScore W2544140088C185592680 @default.
- W2544140088 hasConceptScore W2544140088C199360897 @default.
- W2544140088 hasConceptScore W2544140088C202444582 @default.
- W2544140088 hasConceptScore W2544140088C204241405 @default.
- W2544140088 hasConceptScore W2544140088C206880738 @default.
- W2544140088 hasConceptScore W2544140088C24424167 @default.
- W2544140088 hasConceptScore W2544140088C2780801425 @default.
- W2544140088 hasConceptScore W2544140088C2780992000 @default.
- W2544140088 hasConceptScore W2544140088C33923547 @default.
- W2544140088 hasConceptScore W2544140088C41008148 @default.
- W2544140088 hasConceptScore W2544140088C55493867 @default.
- W2544140088 hasConceptScore W2544140088C62520636 @default.
- W2544140088 hasConceptScore W2544140088C80444323 @default.
- W2544140088 hasConceptScore W2544140088C96146094 @default.
- W2544140088 hasConceptScore W2544140088C9652623 @default.
- W2544140088 hasLocation W25441400881 @default.
- W2544140088 hasOpenAccess W2544140088 @default.
- W2544140088 hasPrimaryLocation W25441400881 @default.
- W2544140088 hasRelatedWork W1547575684 @default.
- W2544140088 hasRelatedWork W1759458034 @default.
- W2544140088 hasRelatedWork W2000429300 @default.
- W2544140088 hasRelatedWork W2099080307 @default.
- W2544140088 hasRelatedWork W2117207972 @default.
- W2544140088 hasRelatedWork W2544140088 @default.
- W2544140088 hasRelatedWork W2756593926 @default.
- W2544140088 hasRelatedWork W2772415772 @default.
- W2544140088 hasRelatedWork W4206200208 @default.
- W2544140088 hasRelatedWork W2469909632 @default.
- W2544140088 isParatext "false" @default.
- W2544140088 isRetracted "false" @default.
- W2544140088 magId "2544140088" @default.
- W2544140088 workType "article" @default.