Matches in SemOpenAlex for { <https://semopenalex.org/work/W2149257851> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W2149257851 endingPage "99" @default.
- W2149257851 startingPage "51" @default.
- W2149257851 abstract "The unification problem in a disjoint combination of equational theories, E 1 +...+E n , is reduced to a combination of two kinds of problems in the E j 's : the pure unification, problem with free (Uninterpreted) constants and the constant-elimination problem. The constant-elimination problem is to find, given terms t i , 1≤i≤m and free constants c i , 1≤i≤m , all substitutions σ such that for all i with 1≤i≤m , σt i is equal to some t′ i that does not contain c i . The soundness and completeness of the method shows, that a disjoint combination of theories is finitary, provided every theory is finitary and constant-elimination problems in every theory are finitary solvable. In particular, any combination of finitary unifying regular theories, of Boolean rings, of Abelian groups or of theories with terminating basic narrowing, is of unification-type finitary. As a special case, unification in a combination of a free Boolean ring with free function symbols is decidable and finitary; the same holds for Abelian groups. This paper extends the known results on unification in a combination of regular and collapse-free theories in two aspects: i) Arbitrary theories are admissable. ii) The described general procedure can be used for enumerating a complete set of unifiers, even if some unification procedure for a paticular theory produces an infinite complete set of unifiers. It is demonstrated that unifiability of unification problems is decidable in the general case E 1 +...+E n if for every i∈{1,…,n} , there is a method to decide unification problems in a combination of E i with free function symbols." @default.
- W2149257851 created "2016-06-24" @default.
- W2149257851 creator A5028647560 @default.
- W2149257851 date "1989-07-01" @default.
- W2149257851 modified "2023-09-30" @default.
- W2149257851 title "Unification in a combination of arbitrary disjoint equational theories" @default.
- W2149257851 cites W1979101142 @default.
- W2149257851 cites W1997816727 @default.
- W2149257851 cites W2014030742 @default.
- W2149257851 cites W2016251012 @default.
- W2149257851 cites W2020996881 @default.
- W2149257851 cites W2033288425 @default.
- W2149257851 cites W2039977878 @default.
- W2149257851 cites W2042924775 @default.
- W2149257851 cites W2043918343 @default.
- W2149257851 cites W2053895806 @default.
- W2149257851 cites W2056637458 @default.
- W2149257851 cites W2058514808 @default.
- W2149257851 cites W2083402938 @default.
- W2149257851 cites W2100738443 @default.
- W2149257851 cites W2113722134 @default.
- W2149257851 cites W2148193906 @default.
- W2149257851 cites W2164778826 @default.
- W2149257851 cites W2170967726 @default.
- W2149257851 cites W4213232664 @default.
- W2149257851 doi "https://doi.org/10.1016/s0747-7171(89)80022-7" @default.
- W2149257851 hasPublicationYear "1989" @default.
- W2149257851 type Work @default.
- W2149257851 sameAs 2149257851 @default.
- W2149257851 citedByCount "97" @default.
- W2149257851 countsByYear W21492578512012 @default.
- W2149257851 countsByYear W21492578512013 @default.
- W2149257851 countsByYear W21492578512014 @default.
- W2149257851 countsByYear W21492578512015 @default.
- W2149257851 countsByYear W21492578512017 @default.
- W2149257851 countsByYear W21492578512019 @default.
- W2149257851 countsByYear W21492578512021 @default.
- W2149257851 countsByYear W21492578512022 @default.
- W2149257851 crossrefType "journal-article" @default.
- W2149257851 hasAuthorship W2149257851A5028647560 @default.
- W2149257851 hasBestOaLocation W21492578511 @default.
- W2149257851 hasConcept C114614502 @default.
- W2149257851 hasConcept C118615104 @default.
- W2149257851 hasConcept C136170076 @default.
- W2149257851 hasConcept C153269930 @default.
- W2149257851 hasConcept C199360897 @default.
- W2149257851 hasConcept C2778003309 @default.
- W2149257851 hasConcept C33923547 @default.
- W2149257851 hasConcept C41008148 @default.
- W2149257851 hasConcept C45340560 @default.
- W2149257851 hasConcept C96146094 @default.
- W2149257851 hasConceptScore W2149257851C114614502 @default.
- W2149257851 hasConceptScore W2149257851C118615104 @default.
- W2149257851 hasConceptScore W2149257851C136170076 @default.
- W2149257851 hasConceptScore W2149257851C153269930 @default.
- W2149257851 hasConceptScore W2149257851C199360897 @default.
- W2149257851 hasConceptScore W2149257851C2778003309 @default.
- W2149257851 hasConceptScore W2149257851C33923547 @default.
- W2149257851 hasConceptScore W2149257851C41008148 @default.
- W2149257851 hasConceptScore W2149257851C45340560 @default.
- W2149257851 hasConceptScore W2149257851C96146094 @default.
- W2149257851 hasIssue "1-2" @default.
- W2149257851 hasLocation W21492578511 @default.
- W2149257851 hasOpenAccess W2149257851 @default.
- W2149257851 hasPrimaryLocation W21492578511 @default.
- W2149257851 hasRelatedWork W147641928 @default.
- W2149257851 hasRelatedWork W1478627389 @default.
- W2149257851 hasRelatedWork W1483364966 @default.
- W2149257851 hasRelatedWork W1507462387 @default.
- W2149257851 hasRelatedWork W2043674238 @default.
- W2149257851 hasRelatedWork W2082354652 @default.
- W2149257851 hasRelatedWork W2149257851 @default.
- W2149257851 hasRelatedWork W2294597823 @default.
- W2149257851 hasRelatedWork W2962945057 @default.
- W2149257851 hasRelatedWork W2585275170 @default.
- W2149257851 hasVolume "8" @default.
- W2149257851 isParatext "false" @default.
- W2149257851 isRetracted "false" @default.
- W2149257851 magId "2149257851" @default.
- W2149257851 workType "article" @default.