Matches in SemOpenAlex for { <https://semopenalex.org/work/W1634322661> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W1634322661 endingPage "265" @default.
- W1634322661 startingPage "251" @default.
- W1634322661 abstract "Entailment of subtype constraints was introduced for constraint simplification in subtype inference systems. Designing an efficient algorithm for subtype entailment turned out to be surprisingly difficult. The situation was clarified by Rehof and Henglein who proved entailment of structural subtype constraints to be coNP-complete for simple types and PSPACE-complete for recursive types. For entailment of non-structural subtype constraints of both simple and recursive types they proved PSPACE-hardness and conjectured PSPACE-completeness but failed in finding a complete algorithm. In this paper, we investigate the source of complications and isolate a natural subproblem of non-structural subtype entailment that we prove PSPACE-complete. We conjecture (but this is left open) that the presented approach can be extended to the general case." @default.
- W1634322661 created "2016-06-24" @default.
- W1634322661 creator A5022637495 @default.
- W1634322661 creator A5071232520 @default.
- W1634322661 date "1999-01-01" @default.
- W1634322661 modified "2023-10-17" @default.
- W1634322661 title "Entailment of Non-structural Subtype Constraints" @default.
- W1634322661 cites W1507723317 @default.
- W1634322661 cites W1703087989 @default.
- W1634322661 cites W1900652794 @default.
- W1634322661 cites W2004256601 @default.
- W1634322661 cites W2016049804 @default.
- W1634322661 cites W2051328776 @default.
- W1634322661 cites W2051981528 @default.
- W1634322661 cites W2052094697 @default.
- W1634322661 cites W2055292912 @default.
- W1634322661 cites W2116841753 @default.
- W1634322661 cites W2123727486 @default.
- W1634322661 cites W3008834557 @default.
- W1634322661 doi "https://doi.org/10.1007/3-540-46674-6_22" @default.
- W1634322661 hasPublicationYear "1999" @default.
- W1634322661 type Work @default.
- W1634322661 sameAs 1634322661 @default.
- W1634322661 citedByCount "4" @default.
- W1634322661 crossrefType "book-chapter" @default.
- W1634322661 hasAuthorship W1634322661A5022637495 @default.
- W1634322661 hasAuthorship W1634322661A5071232520 @default.
- W1634322661 hasBestOaLocation W16343226612 @default.
- W1634322661 hasConcept C111472728 @default.
- W1634322661 hasConcept C11413529 @default.
- W1634322661 hasConcept C114614502 @default.
- W1634322661 hasConcept C118615104 @default.
- W1634322661 hasConcept C134306372 @default.
- W1634322661 hasConcept C134752490 @default.
- W1634322661 hasConcept C138885662 @default.
- W1634322661 hasConcept C154945302 @default.
- W1634322661 hasConcept C17231256 @default.
- W1634322661 hasConcept C179799912 @default.
- W1634322661 hasConcept C197685441 @default.
- W1634322661 hasConcept C2524010 @default.
- W1634322661 hasConcept C2776036281 @default.
- W1634322661 hasConcept C2776214188 @default.
- W1634322661 hasConcept C2780586882 @default.
- W1634322661 hasConcept C2780990831 @default.
- W1634322661 hasConcept C33923547 @default.
- W1634322661 hasConcept C41008148 @default.
- W1634322661 hasConcept C80444323 @default.
- W1634322661 hasConceptScore W1634322661C111472728 @default.
- W1634322661 hasConceptScore W1634322661C11413529 @default.
- W1634322661 hasConceptScore W1634322661C114614502 @default.
- W1634322661 hasConceptScore W1634322661C118615104 @default.
- W1634322661 hasConceptScore W1634322661C134306372 @default.
- W1634322661 hasConceptScore W1634322661C134752490 @default.
- W1634322661 hasConceptScore W1634322661C138885662 @default.
- W1634322661 hasConceptScore W1634322661C154945302 @default.
- W1634322661 hasConceptScore W1634322661C17231256 @default.
- W1634322661 hasConceptScore W1634322661C179799912 @default.
- W1634322661 hasConceptScore W1634322661C197685441 @default.
- W1634322661 hasConceptScore W1634322661C2524010 @default.
- W1634322661 hasConceptScore W1634322661C2776036281 @default.
- W1634322661 hasConceptScore W1634322661C2776214188 @default.
- W1634322661 hasConceptScore W1634322661C2780586882 @default.
- W1634322661 hasConceptScore W1634322661C2780990831 @default.
- W1634322661 hasConceptScore W1634322661C33923547 @default.
- W1634322661 hasConceptScore W1634322661C41008148 @default.
- W1634322661 hasConceptScore W1634322661C80444323 @default.
- W1634322661 hasLocation W16343226611 @default.
- W1634322661 hasLocation W16343226612 @default.
- W1634322661 hasLocation W16343226613 @default.
- W1634322661 hasLocation W16343226614 @default.
- W1634322661 hasOpenAccess W1634322661 @default.
- W1634322661 hasPrimaryLocation W16343226611 @default.
- W1634322661 hasRelatedWork W1523124202 @default.
- W1634322661 hasRelatedWork W2035788602 @default.
- W1634322661 hasRelatedWork W2036323482 @default.
- W1634322661 hasRelatedWork W2042619750 @default.
- W1634322661 hasRelatedWork W2042851559 @default.
- W1634322661 hasRelatedWork W2099434284 @default.
- W1634322661 hasRelatedWork W2159284075 @default.
- W1634322661 hasRelatedWork W2740334431 @default.
- W1634322661 hasRelatedWork W4212808623 @default.
- W1634322661 hasRelatedWork W925486019 @default.
- W1634322661 isParatext "false" @default.
- W1634322661 isRetracted "false" @default.
- W1634322661 magId "1634322661" @default.
- W1634322661 workType "book-chapter" @default.