Matches in SemOpenAlex for { <https://semopenalex.org/work/W2113995039> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W2113995039 endingPage "17" @default.
- W2113995039 startingPage "1" @default.
- W2113995039 abstract "We study the complexity of evaluating positive equality-free sentences of first-order (FO) logic over a fixed, finite structure B . This may be seen as a natural generalisation of the nonuniform quantified constraint satisfaction problem QCSP( B ). We introduce surjective hyper-endomorphisms and use them in proving a Galois connection that characterizes definability in positive equality-free FO. Through an algebraic method, we derive a complete complexity classification for our problems as B ranges over structures of size at most three. Specifically, each problem either is in L, is NP-complete, is co-NP-complete, or is Pspace-complete." @default.
- W2113995039 created "2016-06-24" @default.
- W2113995039 creator A5013230954 @default.
- W2113995039 creator A5014476292 @default.
- W2113995039 date "2012-01-01" @default.
- W2113995039 modified "2023-09-24" @default.
- W2113995039 title "The Complexity of Positive First-Order Logic without Equality" @default.
- W2113995039 cites W1571873445 @default.
- W2113995039 cites W1580855424 @default.
- W2113995039 cites W1968948791 @default.
- W2113995039 cites W1995502606 @default.
- W2113995039 cites W1997649256 @default.
- W2113995039 cites W2025319967 @default.
- W2113995039 cites W2052936500 @default.
- W2113995039 cites W2077575555 @default.
- W2113995039 cites W2116407296 @default.
- W2113995039 cites W2124132452 @default.
- W2113995039 cites W2150339067 @default.
- W2113995039 cites W2154135898 @default.
- W2113995039 cites W2565288900 @default.
- W2113995039 doi "https://doi.org/10.1145/2071368.2071373" @default.
- W2113995039 hasPublicationYear "2012" @default.
- W2113995039 type Work @default.
- W2113995039 sameAs 2113995039 @default.
- W2113995039 citedByCount "3" @default.
- W2113995039 countsByYear W21139950392012 @default.
- W2113995039 countsByYear W21139950392018 @default.
- W2113995039 countsByYear W21139950392021 @default.
- W2113995039 crossrefType "journal-article" @default.
- W2113995039 hasAuthorship W2113995039A5013230954 @default.
- W2113995039 hasAuthorship W2113995039A5014476292 @default.
- W2113995039 hasBestOaLocation W21139950392 @default.
- W2113995039 hasConcept C100481476 @default.
- W2113995039 hasConcept C10138342 @default.
- W2113995039 hasConcept C105795698 @default.
- W2113995039 hasConcept C11413529 @default.
- W2113995039 hasConcept C114614502 @default.
- W2113995039 hasConcept C118615104 @default.
- W2113995039 hasConcept C119238805 @default.
- W2113995039 hasConcept C133142742 @default.
- W2113995039 hasConcept C13355873 @default.
- W2113995039 hasConcept C162324750 @default.
- W2113995039 hasConcept C179799912 @default.
- W2113995039 hasConcept C182306322 @default.
- W2113995039 hasConcept C199622910 @default.
- W2113995039 hasConcept C2524010 @default.
- W2113995039 hasConcept C2776036281 @default.
- W2113995039 hasConcept C2777573902 @default.
- W2113995039 hasConcept C311688 @default.
- W2113995039 hasConcept C33923547 @default.
- W2113995039 hasConcept C49937458 @default.
- W2113995039 hasConceptScore W2113995039C100481476 @default.
- W2113995039 hasConceptScore W2113995039C10138342 @default.
- W2113995039 hasConceptScore W2113995039C105795698 @default.
- W2113995039 hasConceptScore W2113995039C11413529 @default.
- W2113995039 hasConceptScore W2113995039C114614502 @default.
- W2113995039 hasConceptScore W2113995039C118615104 @default.
- W2113995039 hasConceptScore W2113995039C119238805 @default.
- W2113995039 hasConceptScore W2113995039C133142742 @default.
- W2113995039 hasConceptScore W2113995039C13355873 @default.
- W2113995039 hasConceptScore W2113995039C162324750 @default.
- W2113995039 hasConceptScore W2113995039C179799912 @default.
- W2113995039 hasConceptScore W2113995039C182306322 @default.
- W2113995039 hasConceptScore W2113995039C199622910 @default.
- W2113995039 hasConceptScore W2113995039C2524010 @default.
- W2113995039 hasConceptScore W2113995039C2776036281 @default.
- W2113995039 hasConceptScore W2113995039C2777573902 @default.
- W2113995039 hasConceptScore W2113995039C311688 @default.
- W2113995039 hasConceptScore W2113995039C33923547 @default.
- W2113995039 hasConceptScore W2113995039C49937458 @default.
- W2113995039 hasFunder F4320334627 @default.
- W2113995039 hasIssue "1" @default.
- W2113995039 hasLocation W21139950391 @default.
- W2113995039 hasLocation W21139950392 @default.
- W2113995039 hasOpenAccess W2113995039 @default.
- W2113995039 hasPrimaryLocation W21139950391 @default.
- W2113995039 hasRelatedWork W1495098865 @default.
- W2113995039 hasRelatedWork W1510423293 @default.
- W2113995039 hasRelatedWork W1515598460 @default.
- W2113995039 hasRelatedWork W1568528320 @default.
- W2113995039 hasRelatedWork W2113995039 @default.
- W2113995039 hasRelatedWork W2154135898 @default.
- W2113995039 hasRelatedWork W2295040078 @default.
- W2113995039 hasRelatedWork W2953260080 @default.
- W2113995039 hasRelatedWork W3103522412 @default.
- W2113995039 hasRelatedWork W4299845606 @default.
- W2113995039 hasVolume "13" @default.
- W2113995039 isParatext "false" @default.
- W2113995039 isRetracted "false" @default.
- W2113995039 magId "2113995039" @default.
- W2113995039 workType "article" @default.