Matches in SemOpenAlex for { <https://semopenalex.org/work/W1508864129> ?p ?o ?g. }
Showing items 1 to 67 of
67
with 100 items per page.
- W1508864129 endingPage "302" @default.
- W1508864129 startingPage "285" @default.
- W1508864129 abstract "General agreement exists about the usefulness of sets as very high- level representations of complex data structures. Therefore it is worthwhile to introduce sets into constraint logic programming or set constraints into programming languages in general. We start with a brief overview on different notions of sets. This seems to be necessary since there are almost as many different notions in the field as there are applications such as e.g. rapid software prototyping and unification-based grammar formalisms. An efficient algorithm for treating membership-constraints is introduced. It is used in the implementation of an algorithm for unifying finite sets with tails also presented here. Such a unification algorithm is useful in any logic programming language embedding sets. Finally it is shown how a full set language including the operators ∈ ∉ ∩, ∪ can be built on membership-constraints. The text closes with a reflection on the complexities of different algorithms - which are single exponential - showing the efficiency of our new algorithm" @default.
- W1508864129 created "2016-06-24" @default.
- W1508864129 creator A5025712440 @default.
- W1508864129 date "1996-01-01" @default.
- W1508864129 modified "2023-09-29" @default.
- W1508864129 title "Membership-Constraints and Complexity in Logic Programming with Sets" @default.
- W1508864129 cites W2034226458 @default.
- W1508864129 cites W2063727779 @default.
- W1508864129 cites W2081981838 @default.
- W1508864129 cites W2914314632 @default.
- W1508864129 doi "https://doi.org/10.1007/978-94-009-0349-4_15" @default.
- W1508864129 hasPublicationYear "1996" @default.
- W1508864129 type Work @default.
- W1508864129 sameAs 1508864129 @default.
- W1508864129 citedByCount "22" @default.
- W1508864129 countsByYear W15088641292017 @default.
- W1508864129 crossrefType "book-chapter" @default.
- W1508864129 hasAuthorship W1508864129A5025712440 @default.
- W1508864129 hasConcept C11413529 @default.
- W1508864129 hasConcept C126255220 @default.
- W1508864129 hasConcept C128838566 @default.
- W1508864129 hasConcept C137631369 @default.
- W1508864129 hasConcept C154945302 @default.
- W1508864129 hasConcept C171018156 @default.
- W1508864129 hasConcept C173404611 @default.
- W1508864129 hasConcept C177264268 @default.
- W1508864129 hasConcept C199360897 @default.
- W1508864129 hasConcept C2524010 @default.
- W1508864129 hasConcept C33923547 @default.
- W1508864129 hasConcept C41008148 @default.
- W1508864129 hasConcept C41608201 @default.
- W1508864129 hasConcept C80444323 @default.
- W1508864129 hasConcept C96146094 @default.
- W1508864129 hasConceptScore W1508864129C11413529 @default.
- W1508864129 hasConceptScore W1508864129C126255220 @default.
- W1508864129 hasConceptScore W1508864129C128838566 @default.
- W1508864129 hasConceptScore W1508864129C137631369 @default.
- W1508864129 hasConceptScore W1508864129C154945302 @default.
- W1508864129 hasConceptScore W1508864129C171018156 @default.
- W1508864129 hasConceptScore W1508864129C173404611 @default.
- W1508864129 hasConceptScore W1508864129C177264268 @default.
- W1508864129 hasConceptScore W1508864129C199360897 @default.
- W1508864129 hasConceptScore W1508864129C2524010 @default.
- W1508864129 hasConceptScore W1508864129C33923547 @default.
- W1508864129 hasConceptScore W1508864129C41008148 @default.
- W1508864129 hasConceptScore W1508864129C41608201 @default.
- W1508864129 hasConceptScore W1508864129C80444323 @default.
- W1508864129 hasConceptScore W1508864129C96146094 @default.
- W1508864129 hasLocation W15088641291 @default.
- W1508864129 hasOpenAccess W1508864129 @default.
- W1508864129 hasPrimaryLocation W15088641291 @default.
- W1508864129 hasRelatedWork W1516362967 @default.
- W1508864129 hasRelatedWork W1548860908 @default.
- W1508864129 hasRelatedWork W1553965833 @default.
- W1508864129 hasRelatedWork W1560895966 @default.
- W1508864129 hasRelatedWork W1596719193 @default.
- W1508864129 hasRelatedWork W1996683955 @default.
- W1508864129 hasRelatedWork W2043045565 @default.
- W1508864129 hasRelatedWork W2342836801 @default.
- W1508864129 hasRelatedWork W4210498713 @default.
- W1508864129 hasRelatedWork W4380901377 @default.
- W1508864129 isParatext "false" @default.
- W1508864129 isRetracted "false" @default.
- W1508864129 magId "1508864129" @default.
- W1508864129 workType "book-chapter" @default.