Matches in SemOpenAlex for { <https://semopenalex.org/work/W1503204116> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W1503204116 abstract "This paper describes a new representation for sortal constraints and a unification algorithm for the corresponding constrained terms. Variables range over sets of terms described by systems of set constraints that can express limited inter-variable dependencies. These sets of terms are more general than regular tree languages, but are still closed under intersection. The new unification algorithm shows sorted unification to be decidable for a broad class of sorted signatures, which we call semilinear, and, more generally, for sort theories with a least Herbrand model that can be represented using the new constraints. A finite representation of a complete set of wellsorted unifiers can always be found, even in those cases where this set is infinite." @default.
- W1503204116 created "2016-06-24" @default.
- W1503204116 creator A5059046698 @default.
- W1503204116 date "1992-01-01" @default.
- W1503204116 modified "2023-09-25" @default.
- W1503204116 title "Sorted unification using set constraints" @default.
- W1503204116 cites W1571591500 @default.
- W1503204116 cites W1601086057 @default.
- W1503204116 cites W160847359 @default.
- W1503204116 cites W1970861542 @default.
- W1503204116 cites W2076696436 @default.
- W1503204116 cites W2123396057 @default.
- W1503204116 cites W2170967726 @default.
- W1503204116 doi "https://doi.org/10.1007/3-540-55602-8_163" @default.
- W1503204116 hasPublicationYear "1992" @default.
- W1503204116 type Work @default.
- W1503204116 sameAs 1503204116 @default.
- W1503204116 citedByCount "20" @default.
- W1503204116 countsByYear W15032041162015 @default.
- W1503204116 crossrefType "book-chapter" @default.
- W1503204116 hasAuthorship W1503204116A5059046698 @default.
- W1503204116 hasConcept C11413529 @default.
- W1503204116 hasConcept C127413603 @default.
- W1503204116 hasConcept C134306372 @default.
- W1503204116 hasConcept C136119220 @default.
- W1503204116 hasConcept C146978453 @default.
- W1503204116 hasConcept C153269930 @default.
- W1503204116 hasConcept C154945302 @default.
- W1503204116 hasConcept C159985019 @default.
- W1503204116 hasConcept C177264268 @default.
- W1503204116 hasConcept C17744445 @default.
- W1503204116 hasConcept C182365436 @default.
- W1503204116 hasConcept C192562407 @default.
- W1503204116 hasConcept C199360897 @default.
- W1503204116 hasConcept C199539241 @default.
- W1503204116 hasConcept C202444582 @default.
- W1503204116 hasConcept C204323151 @default.
- W1503204116 hasConcept C23123220 @default.
- W1503204116 hasConcept C2776359362 @default.
- W1503204116 hasConcept C2777212361 @default.
- W1503204116 hasConcept C33923547 @default.
- W1503204116 hasConcept C41008148 @default.
- W1503204116 hasConcept C64543145 @default.
- W1503204116 hasConcept C80444323 @default.
- W1503204116 hasConcept C88548561 @default.
- W1503204116 hasConcept C94625758 @default.
- W1503204116 hasConcept C96146094 @default.
- W1503204116 hasConceptScore W1503204116C11413529 @default.
- W1503204116 hasConceptScore W1503204116C127413603 @default.
- W1503204116 hasConceptScore W1503204116C134306372 @default.
- W1503204116 hasConceptScore W1503204116C136119220 @default.
- W1503204116 hasConceptScore W1503204116C146978453 @default.
- W1503204116 hasConceptScore W1503204116C153269930 @default.
- W1503204116 hasConceptScore W1503204116C154945302 @default.
- W1503204116 hasConceptScore W1503204116C159985019 @default.
- W1503204116 hasConceptScore W1503204116C177264268 @default.
- W1503204116 hasConceptScore W1503204116C17744445 @default.
- W1503204116 hasConceptScore W1503204116C182365436 @default.
- W1503204116 hasConceptScore W1503204116C192562407 @default.
- W1503204116 hasConceptScore W1503204116C199360897 @default.
- W1503204116 hasConceptScore W1503204116C199539241 @default.
- W1503204116 hasConceptScore W1503204116C202444582 @default.
- W1503204116 hasConceptScore W1503204116C204323151 @default.
- W1503204116 hasConceptScore W1503204116C23123220 @default.
- W1503204116 hasConceptScore W1503204116C2776359362 @default.
- W1503204116 hasConceptScore W1503204116C2777212361 @default.
- W1503204116 hasConceptScore W1503204116C33923547 @default.
- W1503204116 hasConceptScore W1503204116C41008148 @default.
- W1503204116 hasConceptScore W1503204116C64543145 @default.
- W1503204116 hasConceptScore W1503204116C80444323 @default.
- W1503204116 hasConceptScore W1503204116C88548561 @default.
- W1503204116 hasConceptScore W1503204116C94625758 @default.
- W1503204116 hasConceptScore W1503204116C96146094 @default.
- W1503204116 hasLocation W15032041161 @default.
- W1503204116 hasOpenAccess W1503204116 @default.
- W1503204116 hasPrimaryLocation W15032041161 @default.
- W1503204116 hasRelatedWork W1516382534 @default.
- W1503204116 hasRelatedWork W1563226317 @default.
- W1503204116 hasRelatedWork W1566371091 @default.
- W1503204116 hasRelatedWork W1581551064 @default.
- W1503204116 hasRelatedWork W171682210 @default.
- W1503204116 hasRelatedWork W1886159700 @default.
- W1503204116 hasRelatedWork W1926956344 @default.
- W1503204116 hasRelatedWork W1941645576 @default.
- W1503204116 hasRelatedWork W1970861542 @default.
- W1503204116 hasRelatedWork W1999968383 @default.
- W1503204116 hasRelatedWork W2076696436 @default.
- W1503204116 hasRelatedWork W2082354652 @default.
- W1503204116 hasRelatedWork W2088126145 @default.
- W1503204116 hasRelatedWork W2098994345 @default.
- W1503204116 hasRelatedWork W2103933902 @default.
- W1503204116 hasRelatedWork W2115656500 @default.
- W1503204116 hasRelatedWork W2120254577 @default.
- W1503204116 hasRelatedWork W2162687540 @default.
- W1503204116 hasRelatedWork W2165243410 @default.
- W1503204116 hasRelatedWork W2170967726 @default.
- W1503204116 isParatext "false" @default.
- W1503204116 isRetracted "false" @default.
- W1503204116 magId "1503204116" @default.
- W1503204116 workType "book-chapter" @default.