Matches in SemOpenAlex for { <https://semopenalex.org/work/W2133877360> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W2133877360 endingPage "91" @default.
- W2133877360 startingPage "82" @default.
- W2133877360 abstract "Semi-unification is a generalization of both unification and matching with applications in proof theory, term rewriting systems, polymorphic type inference, and natural language processing. It is the problem of solving a set of term inequalities M 1 ≤ N 1, ..., M k <- N k , where ≤ is interpreted as the subsumption preordering on (first-order) terms. Whereas the general problem has recently been shown to be undecidable, several special cases are decidable.Kfoury, Tiuryn, and Urzyczyn proved that left-linear semi-unification (LLSU) is decidable by giving an exponential time decision procedure. We improve their result as follows.1. We present a generic polynomial-time algorithm L1 for LLSU, which shows that LLSU is in P.2. We show that L1 can be implemented in time O(n 3) by using a fast dynamic transitive closure algorithm.3. We prove that LLSU is P-complete under log-space reductions, thus giving evidence that there are no fast (NC-class) parallel algorithms for LLSU.As corollaries of the proof of P-completeness we obtain that both monadic semi-unification and LLSU with only 2 term inequalities are already P-complete.We conjecture that L1 can be implemented in time O(n 2), which is the best that is possible for the solution method described by L1. The basic question as to whether another solution method may admit even faster algorithms is open. We conjecture also that LLSU with 1 inequality is P-complete.Keywordssemi-unificationleft-linearP-completeness" @default.
- W2133877360 created "2016-06-24" @default.
- W2133877360 creator A5045204080 @default.
- W2133877360 date "1990-01-01" @default.
- W2133877360 modified "2023-09-26" @default.
- W2133877360 title "Fast left-linear semi-unification" @default.
- W2133877360 cites W1952074038 @default.
- W2133877360 cites W1979101142 @default.
- W2133877360 cites W1982347904 @default.
- W2133877360 cites W1982801224 @default.
- W2133877360 cites W2025057593 @default.
- W2133877360 cites W2106439532 @default.
- W2133877360 cites W2914336554 @default.
- W2133877360 cites W1538141914 @default.
- W2133877360 doi "https://doi.org/10.1007/3-540-53504-7_64" @default.
- W2133877360 hasPublicationYear "1990" @default.
- W2133877360 type Work @default.
- W2133877360 sameAs 2133877360 @default.
- W2133877360 citedByCount "9" @default.
- W2133877360 countsByYear W21338773602013 @default.
- W2133877360 crossrefType "book-chapter" @default.
- W2133877360 hasAuthorship W2133877360A5045204080 @default.
- W2133877360 hasBestOaLocation W21338773602 @default.
- W2133877360 hasConcept C11413529 @default.
- W2133877360 hasConcept C118615104 @default.
- W2133877360 hasConcept C121332964 @default.
- W2133877360 hasConcept C128896722 @default.
- W2133877360 hasConcept C153269930 @default.
- W2133877360 hasConcept C154690210 @default.
- W2133877360 hasConcept C179799912 @default.
- W2133877360 hasConcept C192034797 @default.
- W2133877360 hasConcept C197685441 @default.
- W2133877360 hasConcept C199360897 @default.
- W2133877360 hasConcept C2780990831 @default.
- W2133877360 hasConcept C311688 @default.
- W2133877360 hasConcept C33923547 @default.
- W2133877360 hasConcept C41008148 @default.
- W2133877360 hasConcept C61797465 @default.
- W2133877360 hasConcept C62520636 @default.
- W2133877360 hasConcept C96146094 @default.
- W2133877360 hasConceptScore W2133877360C11413529 @default.
- W2133877360 hasConceptScore W2133877360C118615104 @default.
- W2133877360 hasConceptScore W2133877360C121332964 @default.
- W2133877360 hasConceptScore W2133877360C128896722 @default.
- W2133877360 hasConceptScore W2133877360C153269930 @default.
- W2133877360 hasConceptScore W2133877360C154690210 @default.
- W2133877360 hasConceptScore W2133877360C179799912 @default.
- W2133877360 hasConceptScore W2133877360C192034797 @default.
- W2133877360 hasConceptScore W2133877360C197685441 @default.
- W2133877360 hasConceptScore W2133877360C199360897 @default.
- W2133877360 hasConceptScore W2133877360C2780990831 @default.
- W2133877360 hasConceptScore W2133877360C311688 @default.
- W2133877360 hasConceptScore W2133877360C33923547 @default.
- W2133877360 hasConceptScore W2133877360C41008148 @default.
- W2133877360 hasConceptScore W2133877360C61797465 @default.
- W2133877360 hasConceptScore W2133877360C62520636 @default.
- W2133877360 hasConceptScore W2133877360C96146094 @default.
- W2133877360 hasLocation W21338773601 @default.
- W2133877360 hasLocation W21338773602 @default.
- W2133877360 hasLocation W21338773603 @default.
- W2133877360 hasOpenAccess W2133877360 @default.
- W2133877360 hasPrimaryLocation W21338773601 @default.
- W2133877360 hasRelatedWork W1521552748 @default.
- W2133877360 hasRelatedWork W1544871822 @default.
- W2133877360 hasRelatedWork W1693995122 @default.
- W2133877360 hasRelatedWork W1988946128 @default.
- W2133877360 hasRelatedWork W2070322713 @default.
- W2133877360 hasRelatedWork W2106436415 @default.
- W2133877360 hasRelatedWork W2790812689 @default.
- W2133877360 hasRelatedWork W2964047030 @default.
- W2133877360 hasRelatedWork W2762886673 @default.
- W2133877360 hasRelatedWork W3168382218 @default.
- W2133877360 isParatext "false" @default.
- W2133877360 isRetracted "false" @default.
- W2133877360 magId "2133877360" @default.
- W2133877360 workType "book-chapter" @default.