FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1570269726> ?p ?o ?g. }

• W1570269726 endingPage "187" @default.
• W1570269726 startingPage "169" @default.
• W1570269726 abstract "We present a constraint system OF of feature trees that is appropriate to specify and implement type inference for first-class messages. OF extends traditional systems of feature constraints by a selection constraint x[y]z “by first-class feature tree” y, in contrast to the standard selection constraint x[f]y “by fixed feature” f. We investigate the satisfiability problem of OF and show that it can be solved in polynomial time, and even in quadratic time in an important special case. We compare OF with Treinen’s constraint system EF of feature constraints with first-class features, which has an NP-complete satisfiability problem. This comparison yields that the satisfiability problem for OF with negation is NP-hard. Based on OF we give a simple account of type inference for first-class messages in the spirit of Nishimura’s recent proposal, and we show that it has polynomial time complexity: We also highlight an immediate extension that is desirable but makes type inference NP-hard." @default.
• W1570269726 created "2016-06-24" @default.
• W1570269726 creator A5014068361 @default.
• W1570269726 creator A5053311852 @default.
• W1570269726 date "1998-01-01" @default.
• W1570269726 modified "2023-09-28" @default.
• W1570269726 title "Type Inference for First-Class Messages with Feature Constraints" @default.
• W1570269726 cites W1570269726 @default.
• W1570269726 cites W1829244603 @default.
• W1570269726 cites W1837047238 @default.
• W1570269726 cites W1890547763 @default.
• W1570269726 cites W1900652794 @default.
• W1570269726 cites W1977655588 @default.
• W1570269726 cites W1997137822 @default.
• W1570269726 cites W1997791746 @default.
• W1570269726 cites W2004256601 @default.
• W1570269726 cites W2006691463 @default.
• W1570269726 cites W2016049804 @default.
• W1570269726 cites W2021217869 @default.
• W1570269726 cites W2022443117 @default.
• W1570269726 cites W2029326070 @default.
• W1570269726 cites W2036378583 @default.
• W1570269726 cites W2057670587 @default.
• W1570269726 cites W2077229436 @default.
• W1570269726 cites W2092632814 @default.
• W1570269726 cites W2121038016 @default.
• W1570269726 cites W2130881558 @default.
• W1570269726 cites W2166822586 @default.
• W1570269726 cites W2604337442 @default.
• W1570269726 cites W3023167828 @default.
• W1570269726 cites W4233551746 @default.
• W1570269726 doi "https://doi.org/10.1007/3-540-49366-2_14" @default.
• W1570269726 hasPublicationYear "1998" @default.
• W1570269726 type Work @default.
• W1570269726 sameAs 1570269726 @default.
• W1570269726 citedByCount "6" @default.
• W1570269726 crossrefType "book-chapter" @default.
• W1570269726 hasAuthorship W1570269726A5014068361 @default.
• W1570269726 hasAuthorship W1570269726A5053311852 @default.
• W1570269726 hasBestOaLocation W15702697262 @default.
• W1570269726 hasConcept C113174947 @default.
• W1570269726 hasConcept C114614502 @default.
• W1570269726 hasConcept C118615104 @default.
• W1570269726 hasConcept C138885662 @default.
• W1570269726 hasConcept C154945302 @default.
• W1570269726 hasConcept C168773769 @default.
• W1570269726 hasConcept C18903297 @default.
• W1570269726 hasConcept C199360897 @default.
• W1570269726 hasConcept C199622910 @default.
• W1570269726 hasConcept C2185349 @default.
• W1570269726 hasConcept C2524010 @default.
• W1570269726 hasConcept C2776036281 @default.
• W1570269726 hasConcept C2776214188 @default.
• W1570269726 hasConcept C2776401178 @default.
• W1570269726 hasConcept C2777212361 @default.
• W1570269726 hasConcept C2777299769 @default.
• W1570269726 hasConcept C311688 @default.
• W1570269726 hasConcept C33923547 @default.
• W1570269726 hasConcept C41008148 @default.
• W1570269726 hasConcept C41895202 @default.
• W1570269726 hasConcept C49937458 @default.
• W1570269726 hasConcept C80444323 @default.
• W1570269726 hasConcept C86803240 @default.
• W1570269726 hasConceptScore W1570269726C113174947 @default.
• W1570269726 hasConceptScore W1570269726C114614502 @default.
• W1570269726 hasConceptScore W1570269726C118615104 @default.
• W1570269726 hasConceptScore W1570269726C138885662 @default.
• W1570269726 hasConceptScore W1570269726C154945302 @default.
• W1570269726 hasConceptScore W1570269726C168773769 @default.
• W1570269726 hasConceptScore W1570269726C18903297 @default.
• W1570269726 hasConceptScore W1570269726C199360897 @default.
• W1570269726 hasConceptScore W1570269726C199622910 @default.
• W1570269726 hasConceptScore W1570269726C2185349 @default.
• W1570269726 hasConceptScore W1570269726C2524010 @default.
• W1570269726 hasConceptScore W1570269726C2776036281 @default.
• W1570269726 hasConceptScore W1570269726C2776214188 @default.
• W1570269726 hasConceptScore W1570269726C2776401178 @default.
• W1570269726 hasConceptScore W1570269726C2777212361 @default.
• W1570269726 hasConceptScore W1570269726C2777299769 @default.
• W1570269726 hasConceptScore W1570269726C311688 @default.
• W1570269726 hasConceptScore W1570269726C33923547 @default.
• W1570269726 hasConceptScore W1570269726C41008148 @default.
• W1570269726 hasConceptScore W1570269726C41895202 @default.
• W1570269726 hasConceptScore W1570269726C49937458 @default.
• W1570269726 hasConceptScore W1570269726C80444323 @default.
• W1570269726 hasConceptScore W1570269726C86803240 @default.
• W1570269726 hasLocation W15702697261 @default.
• W1570269726 hasLocation W15702697262 @default.
• W1570269726 hasOpenAccess W1570269726 @default.
• W1570269726 hasPrimaryLocation W15702697261 @default.
• W1570269726 hasRelatedWork W1497137050 @default.
• W1570269726 hasRelatedWork W1548801608 @default.
• W1570269726 hasRelatedWork W1556423162 @default.
• W1570269726 hasRelatedWork W1593956419 @default.
• W1570269726 hasRelatedWork W1755638768 @default.
• W1570269726 hasRelatedWork W19044712 @default.
• W1570269726 hasRelatedWork W198892631 @default.
• W1570269726 hasRelatedWork W1995102370 @default.

• next