Matches in SemOpenAlex for { <https://semopenalex.org/work/W1576727331> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W1576727331 endingPage "627" @default.
- W1576727331 startingPage "616" @default.
- W1576727331 abstract "We study entailment of structural and nonstructural recursive subtyping constraints. Constraints are formal inequalities between type expressions, interpreted over an ordered set of possibly infinite labeled trees. The nonstructural ordering on trees is the one introduced by Amadio and Cardelli for subtyping with recursive types. The structural ordering compares only trees with common shape. A constraint set entails an inequality if every assignment of meanings (trees) to type expressions that satisfies all the constraints also satisfies the inequality. In this paper we prove that nonstructural subtype entailment is PSPACE-hard, both for finite trees (simple types) and infinite trees (recursive types). For the structural ordering we prove that subtype entailment over infinite trees is PSPACE-complete, when the order on trees is generated from a lattice of type constants. Since structural subtype entailment over finite trees has been shown to be coNP-complete these are the first complexity-theoretic separation results that show that, informally, nonstructural subtype entailment is harder than structural entailment, and recursive entailment is harder than nonrecursive entailment." @default.
- W1576727331 created "2016-06-24" @default.
- W1576727331 creator A5045204080 @default.
- W1576727331 creator A5081497785 @default.
- W1576727331 date "1998-01-01" @default.
- W1576727331 modified "2023-10-17" @default.
- W1576727331 title "Constraint automata and the complexity of recursive subtype entailment" @default.
- W1576727331 cites W1566905983 @default.
- W1576727331 cites W1779315440 @default.
- W1576727331 cites W2002866920 @default.
- W1576727331 cites W2022443117 @default.
- W1576727331 cites W2043133575 @default.
- W1576727331 cites W2051328776 @default.
- W1576727331 cites W2051981528 @default.
- W1576727331 cites W2052094697 @default.
- W1576727331 cites W2094516550 @default.
- W1576727331 cites W2123727486 @default.
- W1576727331 cites W2169136701 @default.
- W1576727331 cites W2293278021 @default.
- W1576727331 cites W1539211927 @default.
- W1576727331 doi "https://doi.org/10.1007/bfb0055089" @default.
- W1576727331 hasPublicationYear "1998" @default.
- W1576727331 type Work @default.
- W1576727331 sameAs 1576727331 @default.
- W1576727331 citedByCount "11" @default.
- W1576727331 countsByYear W15767273312015 @default.
- W1576727331 crossrefType "book-chapter" @default.
- W1576727331 hasAuthorship W1576727331A5045204080 @default.
- W1576727331 hasAuthorship W1576727331A5081497785 @default.
- W1576727331 hasBestOaLocation W15767273312 @default.
- W1576727331 hasConcept C114614502 @default.
- W1576727331 hasConcept C118615104 @default.
- W1576727331 hasConcept C134752490 @default.
- W1576727331 hasConcept C154945302 @default.
- W1576727331 hasConcept C177264268 @default.
- W1576727331 hasConcept C199360897 @default.
- W1576727331 hasConcept C2524010 @default.
- W1576727331 hasConcept C2776036281 @default.
- W1576727331 hasConcept C33923547 @default.
- W1576727331 hasConcept C41008148 @default.
- W1576727331 hasConcept C80444323 @default.
- W1576727331 hasConcept C83852419 @default.
- W1576727331 hasConceptScore W1576727331C114614502 @default.
- W1576727331 hasConceptScore W1576727331C118615104 @default.
- W1576727331 hasConceptScore W1576727331C134752490 @default.
- W1576727331 hasConceptScore W1576727331C154945302 @default.
- W1576727331 hasConceptScore W1576727331C177264268 @default.
- W1576727331 hasConceptScore W1576727331C199360897 @default.
- W1576727331 hasConceptScore W1576727331C2524010 @default.
- W1576727331 hasConceptScore W1576727331C2776036281 @default.
- W1576727331 hasConceptScore W1576727331C33923547 @default.
- W1576727331 hasConceptScore W1576727331C41008148 @default.
- W1576727331 hasConceptScore W1576727331C80444323 @default.
- W1576727331 hasConceptScore W1576727331C83852419 @default.
- W1576727331 hasLocation W15767273311 @default.
- W1576727331 hasLocation W15767273312 @default.
- W1576727331 hasOpenAccess W1576727331 @default.
- W1576727331 hasPrimaryLocation W15767273311 @default.
- W1576727331 hasRelatedWork W1608308814 @default.
- W1576727331 hasRelatedWork W1978042415 @default.
- W1576727331 hasRelatedWork W2069624336 @default.
- W1576727331 hasRelatedWork W2098278475 @default.
- W1576727331 hasRelatedWork W2351263873 @default.
- W1576727331 hasRelatedWork W2380643407 @default.
- W1576727331 hasRelatedWork W2999267914 @default.
- W1576727331 hasRelatedWork W4235581521 @default.
- W1576727331 hasRelatedWork W4237843922 @default.
- W1576727331 hasRelatedWork W4286800038 @default.
- W1576727331 isParatext "false" @default.
- W1576727331 isRetracted "false" @default.
- W1576727331 magId "1576727331" @default.
- W1576727331 workType "book-chapter" @default.