Matches in SemOpenAlex for { <https://semopenalex.org/work/W2106865935> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W2106865935 abstract "We study the expression complexity of two basic problems involving the comparison of primitive positive formulas: equivalence and containment. We give two generic hardness results for the studied problems, and discuss evidence that they are optimal and yield, for each of the problems, a complexity trichotomy." @default.
- W2106865935 created "2016-06-24" @default.
- W2106865935 creator A5023349661 @default.
- W2106865935 creator A5044720498 @default.
- W2106865935 creator A5081757255 @default.
- W2106865935 date "2011-01-01" @default.
- W2106865935 modified "2023-09-23" @default.
- W2106865935 title "Generic Expression Hardness Results for Primitive Positive Formula Comparison" @default.
- W2106865935 cites W1511747486 @default.
- W2106865935 cites W1524176804 @default.
- W2106865935 cites W1819356483 @default.
- W2106865935 cites W1978292808 @default.
- W2106865935 cites W1989783863 @default.
- W2106865935 cites W1997649256 @default.
- W2106865935 cites W2018470381 @default.
- W2106865935 cites W2026753685 @default.
- W2106865935 cites W2032278512 @default.
- W2106865935 cites W2032976034 @default.
- W2106865935 cites W2048685245 @default.
- W2106865935 cites W2124452950 @default.
- W2106865935 cites W2134850460 @default.
- W2106865935 cites W2147039299 @default.
- W2106865935 cites W2149922426 @default.
- W2106865935 cites W2171142764 @default.
- W2106865935 cites W4254380579 @default.
- W2106865935 doi "https://doi.org/10.1007/978-3-642-22012-8_27" @default.
- W2106865935 hasPublicationYear "2011" @default.
- W2106865935 type Work @default.
- W2106865935 sameAs 2106865935 @default.
- W2106865935 citedByCount "3" @default.
- W2106865935 countsByYear W21068659352012 @default.
- W2106865935 countsByYear W21068659352013 @default.
- W2106865935 crossrefType "book-chapter" @default.
- W2106865935 hasAuthorship W2106865935A5023349661 @default.
- W2106865935 hasAuthorship W2106865935A5044720498 @default.
- W2106865935 hasAuthorship W2106865935A5081757255 @default.
- W2106865935 hasBestOaLocation W21068659352 @default.
- W2106865935 hasConcept C11413529 @default.
- W2106865935 hasConcept C118615104 @default.
- W2106865935 hasConcept C138885662 @default.
- W2106865935 hasConcept C179799912 @default.
- W2106865935 hasConcept C199360897 @default.
- W2106865935 hasConcept C2777019822 @default.
- W2106865935 hasConcept C2780069185 @default.
- W2106865935 hasConcept C2780233049 @default.
- W2106865935 hasConcept C33923547 @default.
- W2106865935 hasConcept C41008148 @default.
- W2106865935 hasConcept C41895202 @default.
- W2106865935 hasConcept C80444323 @default.
- W2106865935 hasConcept C90559484 @default.
- W2106865935 hasConceptScore W2106865935C11413529 @default.
- W2106865935 hasConceptScore W2106865935C118615104 @default.
- W2106865935 hasConceptScore W2106865935C138885662 @default.
- W2106865935 hasConceptScore W2106865935C179799912 @default.
- W2106865935 hasConceptScore W2106865935C199360897 @default.
- W2106865935 hasConceptScore W2106865935C2777019822 @default.
- W2106865935 hasConceptScore W2106865935C2780069185 @default.
- W2106865935 hasConceptScore W2106865935C2780233049 @default.
- W2106865935 hasConceptScore W2106865935C33923547 @default.
- W2106865935 hasConceptScore W2106865935C41008148 @default.
- W2106865935 hasConceptScore W2106865935C41895202 @default.
- W2106865935 hasConceptScore W2106865935C80444323 @default.
- W2106865935 hasConceptScore W2106865935C90559484 @default.
- W2106865935 hasLocation W21068659351 @default.
- W2106865935 hasLocation W21068659352 @default.
- W2106865935 hasOpenAccess W2106865935 @default.
- W2106865935 hasPrimaryLocation W21068659351 @default.
- W2106865935 hasRelatedWork W1520239064 @default.
- W2106865935 hasRelatedWork W1556025627 @default.
- W2106865935 hasRelatedWork W1575877321 @default.
- W2106865935 hasRelatedWork W1668012508 @default.
- W2106865935 hasRelatedWork W1857241714 @default.
- W2106865935 hasRelatedWork W1976863752 @default.
- W2106865935 hasRelatedWork W1978888415 @default.
- W2106865935 hasRelatedWork W2072543642 @default.
- W2106865935 hasRelatedWork W2078752178 @default.
- W2106865935 hasRelatedWork W2149618674 @default.
- W2106865935 hasRelatedWork W2151131175 @default.
- W2106865935 hasRelatedWork W2172286136 @default.
- W2106865935 hasRelatedWork W2397256010 @default.
- W2106865935 hasRelatedWork W2791591692 @default.
- W2106865935 hasRelatedWork W2950491148 @default.
- W2106865935 hasRelatedWork W2952427217 @default.
- W2106865935 hasRelatedWork W2956865288 @default.
- W2106865935 hasRelatedWork W2964172190 @default.
- W2106865935 hasRelatedWork W3173511087 @default.
- W2106865935 hasRelatedWork W3198194642 @default.
- W2106865935 isParatext "false" @default.
- W2106865935 isRetracted "false" @default.
- W2106865935 magId "2106865935" @default.
- W2106865935 workType "book-chapter" @default.