Matches in SemOpenAlex for { <https://semopenalex.org/work/W1869185720> ?p ?o ?g. }
Showing items 1 to 48 of
48
with 100 items per page.
- W1869185720 endingPage "513" @default.
- W1869185720 startingPage "506" @default.
- W1869185720 abstract "A simple unification algorithm for terms containing variables, constants and the set operators intersection and symmetric difference is presented. The solution is straightforward because the algebraic structure under consideration is a boolean ring. The main part of the algorithm is finding a particular solution which is then substituted into a general formula to yield a single most general unifier. The combination with other equational theories is briefly considered but even for simple cases the extension seems non-trivial." @default.
- W1869185720 created "2016-06-24" @default.
- W1869185720 creator A5028867738 @default.
- W1869185720 creator A5062636889 @default.
- W1869185720 date "1986-01-01" @default.
- W1869185720 modified "2023-09-27" @default.
- W1869185720 title "Unification in boolean rings" @default.
- W1869185720 cites W1521061310 @default.
- W1869185720 cites W1523315298 @default.
- W1869185720 cites W2017096836 @default.
- W1869185720 cites W2019751493 @default.
- W1869185720 cites W2033288425 @default.
- W1869185720 cites W4211019237 @default.
- W1869185720 cites W4243124549 @default.
- W1869185720 doi "https://doi.org/10.1007/3-540-16780-3_115" @default.
- W1869185720 hasPublicationYear "1986" @default.
- W1869185720 type Work @default.
- W1869185720 sameAs 1869185720 @default.
- W1869185720 citedByCount "13" @default.
- W1869185720 countsByYear W18691857202017 @default.
- W1869185720 crossrefType "book-chapter" @default.
- W1869185720 hasAuthorship W1869185720A5028867738 @default.
- W1869185720 hasAuthorship W1869185720A5062636889 @default.
- W1869185720 hasConcept C199360897 @default.
- W1869185720 hasConcept C41008148 @default.
- W1869185720 hasConcept C96146094 @default.
- W1869185720 hasConceptScore W1869185720C199360897 @default.
- W1869185720 hasConceptScore W1869185720C41008148 @default.
- W1869185720 hasConceptScore W1869185720C96146094 @default.
- W1869185720 hasLocation W18691857201 @default.
- W1869185720 hasOpenAccess W1869185720 @default.
- W1869185720 hasPrimaryLocation W18691857201 @default.
- W1869185720 hasRelatedWork W1495298806 @default.
- W1869185720 hasRelatedWork W1785815514 @default.
- W1869185720 hasRelatedWork W2158317750 @default.
- W1869185720 hasRelatedWork W2367630557 @default.
- W1869185720 hasRelatedWork W2522754441 @default.
- W1869185720 hasRelatedWork W2748952813 @default.
- W1869185720 hasRelatedWork W2791124742 @default.
- W1869185720 hasRelatedWork W2899084033 @default.
- W1869185720 hasRelatedWork W81024070 @default.
- W1869185720 hasRelatedWork W2519401319 @default.
- W1869185720 isParatext "false" @default.
- W1869185720 isRetracted "false" @default.
- W1869185720 magId "1869185720" @default.
- W1869185720 workType "book-chapter" @default.