Matches in SemOpenAlex for { <https://semopenalex.org/work/W2033578045> ?p ?o ?g. }
Showing items 1 to 67 of
67
with 100 items per page.
- W2033578045 endingPage "114" @default.
- W2033578045 startingPage "107" @default.
- W2033578045 abstract "Rudimentary relations are those relations over natural integers that are defined by a first-order arithmetical formula, in which all quantifications are bounded by some variable. Paris and Wilkie conjectured that the class R of rudimentary relations is not closed under modular counting or constant-bounded recursion. A consequence would be the proper containment of R in LINSPACE. It is now known that the closure of R under counting modulo an unsolvable non-abelian finite group, or modulo the semigroup of all binary relations on a finite set, contains ALINTIME. We characterize here the semigroups for which the counting is reducible to modular counting, or contains counting modulo an unsolvable non-abelian finite group." @default.
- W2033578045 created "2016-06-24" @default.
- W2033578045 creator A5031258715 @default.
- W2033578045 date "2001-04-01" @default.
- W2033578045 modified "2023-10-16" @default.
- W2033578045 title "Counting modulo finite semigroups" @default.
- W2033578045 cites W2007014944 @default.
- W2033578045 cites W2010307931 @default.
- W2033578045 cites W2035004935 @default.
- W2033578045 cites W2039604014 @default.
- W2033578045 cites W659048256 @default.
- W2033578045 doi "https://doi.org/10.1016/s0304-3975(00)00112-2" @default.
- W2033578045 hasPublicationYear "2001" @default.
- W2033578045 type Work @default.
- W2033578045 sameAs 2033578045 @default.
- W2033578045 citedByCount "0" @default.
- W2033578045 crossrefType "journal-article" @default.
- W2033578045 hasAuthorship W2033578045A5031258715 @default.
- W2033578045 hasConcept C11413529 @default.
- W2033578045 hasConcept C114614502 @default.
- W2033578045 hasConcept C118615104 @default.
- W2033578045 hasConcept C134306372 @default.
- W2033578045 hasConcept C136170076 @default.
- W2033578045 hasConcept C146834321 @default.
- W2033578045 hasConcept C162324750 @default.
- W2033578045 hasConcept C168773036 @default.
- W2033578045 hasConcept C184264201 @default.
- W2033578045 hasConcept C207405024 @default.
- W2033578045 hasConcept C33923547 @default.
- W2033578045 hasConcept C34388435 @default.
- W2033578045 hasConcept C34447519 @default.
- W2033578045 hasConcept C54732982 @default.
- W2033578045 hasConceptScore W2033578045C11413529 @default.
- W2033578045 hasConceptScore W2033578045C114614502 @default.
- W2033578045 hasConceptScore W2033578045C118615104 @default.
- W2033578045 hasConceptScore W2033578045C134306372 @default.
- W2033578045 hasConceptScore W2033578045C136170076 @default.
- W2033578045 hasConceptScore W2033578045C146834321 @default.
- W2033578045 hasConceptScore W2033578045C162324750 @default.
- W2033578045 hasConceptScore W2033578045C168773036 @default.
- W2033578045 hasConceptScore W2033578045C184264201 @default.
- W2033578045 hasConceptScore W2033578045C207405024 @default.
- W2033578045 hasConceptScore W2033578045C33923547 @default.
- W2033578045 hasConceptScore W2033578045C34388435 @default.
- W2033578045 hasConceptScore W2033578045C34447519 @default.
- W2033578045 hasConceptScore W2033578045C54732982 @default.
- W2033578045 hasIssue "1-2" @default.
- W2033578045 hasLocation W20335780451 @default.
- W2033578045 hasOpenAccess W2033578045 @default.
- W2033578045 hasPrimaryLocation W20335780451 @default.
- W2033578045 hasRelatedWork W1494977542 @default.
- W2033578045 hasRelatedWork W1985039249 @default.
- W2033578045 hasRelatedWork W1987931249 @default.
- W2033578045 hasRelatedWork W2033578045 @default.
- W2033578045 hasRelatedWork W2047246924 @default.
- W2033578045 hasRelatedWork W2051951263 @default.
- W2033578045 hasRelatedWork W2119826020 @default.
- W2033578045 hasRelatedWork W2129836340 @default.
- W2033578045 hasRelatedWork W2322288905 @default.
- W2033578045 hasRelatedWork W4280511095 @default.
- W2033578045 hasVolume "257" @default.
- W2033578045 isParatext "false" @default.
- W2033578045 isRetracted "false" @default.
- W2033578045 magId "2033578045" @default.
- W2033578045 workType "article" @default.