Matches in SemOpenAlex for { <https://semopenalex.org/work/W2120254577> ?p ?o ?g. }
Showing items 1 to 54 of
54
with 100 items per page.
- W2120254577 abstract "Systems of set constraints describe relations between sets of ground terms. They have been successfully used in program analysis and type inference. In this paper we prove that the problem of existence of a solution of a system of set constraints with projections is in NEXPTIME, and thus that it is NEXPTIME-complete. This extends the result of A. Aiken, D. Kozen, and E.L. Wimmers (1993) and R. Gilleron, S. Tison, and M. Tommasi (1990) on decidability of negated set constraints and solves a problem that was open for several years. >" @default.
- W2120254577 created "2016-06-24" @default.
- W2120254577 creator A5028741806 @default.
- W2120254577 creator A5068443996 @default.
- W2120254577 date "2002-12-17" @default.
- W2120254577 modified "2023-09-24" @default.
- W2120254577 title "Set constraints with projections are in NEXPTIME" @default.
- W2120254577 cites W1563226317 @default.
- W2120254577 cites W1566371091 @default.
- W2120254577 cites W1775921724 @default.
- W2120254577 cites W1886159700 @default.
- W2120254577 cites W1926956344 @default.
- W2120254577 cites W1941645576 @default.
- W2120254577 cites W2001507716 @default.
- W2120254577 cites W2007313703 @default.
- W2120254577 cites W2076696436 @default.
- W2120254577 cites W2088126145 @default.
- W2120254577 cites W2098994345 @default.
- W2120254577 cites W2103933902 @default.
- W2120254577 cites W2162687540 @default.
- W2120254577 cites W2165243410 @default.
- W2120254577 doi "https://doi.org/10.1109/sfcs.1994.365727" @default.
- W2120254577 hasPublicationYear "2002" @default.
- W2120254577 type Work @default.
- W2120254577 sameAs 2120254577 @default.
- W2120254577 citedByCount "31" @default.
- W2120254577 countsByYear W21202545772013 @default.
- W2120254577 countsByYear W21202545772016 @default.
- W2120254577 crossrefType "proceedings-article" @default.
- W2120254577 hasAuthorship W2120254577A5028741806 @default.
- W2120254577 hasAuthorship W2120254577A5068443996 @default.
- W2120254577 hasConcept C177264268 @default.
- W2120254577 hasConcept C199360897 @default.
- W2120254577 hasConcept C41008148 @default.
- W2120254577 hasConceptScore W2120254577C177264268 @default.
- W2120254577 hasConceptScore W2120254577C199360897 @default.
- W2120254577 hasConceptScore W2120254577C41008148 @default.
- W2120254577 hasLocation W21202545771 @default.
- W2120254577 hasOpenAccess W2120254577 @default.
- W2120254577 hasPrimaryLocation W21202545771 @default.
- W2120254577 hasRelatedWork W1480922982 @default.
- W2120254577 hasRelatedWork W1484527553 @default.
- W2120254577 hasRelatedWork W1509467138 @default.
- W2120254577 hasRelatedWork W196405095 @default.
- W2120254577 hasRelatedWork W2153798176 @default.
- W2120254577 hasRelatedWork W225092053 @default.
- W2120254577 hasRelatedWork W2355215981 @default.
- W2120254577 hasRelatedWork W2359405188 @default.
- W2120254577 hasRelatedWork W4252539203 @default.
- W2120254577 hasRelatedWork W76894243 @default.
- W2120254577 isParatext "false" @default.
- W2120254577 isRetracted "false" @default.
- W2120254577 magId "2120254577" @default.
- W2120254577 workType "article" @default.