Matches in SemOpenAlex for { <https://semopenalex.org/work/W2034458387> ?p ?o ?g. }
Showing items 1 to 52 of
52
with 100 items per page.
- W2034458387 endingPage "183" @default.
- W2034458387 startingPage "169" @default.
- W2034458387 abstract "We give a characterization, in terms of a restriction of semi-simple sets, of the class of subsets of N k definable in an extension of first-order logic obtained by adjoining quantifiers which count modulo an integer. It is shown that this class strictly contains the class of recognizable subsets of N k and is strictly contained in the class of rational subsets of N k . We also characterize the subsets of N k which are definable in the usual first-order logic and in the first-order logic which uses only the special modular quantifiers. A characterization of the subsets of N k definable in the first-order theory of the successor function and the = predicate is also given. Links with the parallel complexity class ACC 0 are discussed." @default.
- W2034458387 created "2016-06-24" @default.
- W2034458387 creator A5049721291 @default.
- W2034458387 date "1992-02-01" @default.
- W2034458387 modified "2023-09-26" @default.
- W2034458387 title "Logically defined subsets of Nk" @default.
- W2034458387 cites W1964874178 @default.
- W2034458387 cites W1970629906 @default.
- W2034458387 cites W1971435636 @default.
- W2034458387 cites W1987027130 @default.
- W2034458387 cites W2010465749 @default.
- W2034458387 cites W2051418283 @default.
- W2034458387 cites W4205178514 @default.
- W2034458387 doi "https://doi.org/10.1016/0304-3975(92)90328-d" @default.
- W2034458387 hasPublicationYear "1992" @default.
- W2034458387 type Work @default.
- W2034458387 sameAs 2034458387 @default.
- W2034458387 citedByCount "11" @default.
- W2034458387 countsByYear W20344583872013 @default.
- W2034458387 countsByYear W20344583872014 @default.
- W2034458387 countsByYear W20344583872015 @default.
- W2034458387 countsByYear W20344583872017 @default.
- W2034458387 crossrefType "journal-article" @default.
- W2034458387 hasAuthorship W2034458387A5049721291 @default.
- W2034458387 hasBestOaLocation W20344583871 @default.
- W2034458387 hasConcept C199360897 @default.
- W2034458387 hasConcept C33923547 @default.
- W2034458387 hasConcept C41008148 @default.
- W2034458387 hasConceptScore W2034458387C199360897 @default.
- W2034458387 hasConceptScore W2034458387C33923547 @default.
- W2034458387 hasConceptScore W2034458387C41008148 @default.
- W2034458387 hasIssue "2" @default.
- W2034458387 hasLocation W20344583871 @default.
- W2034458387 hasOpenAccess W2034458387 @default.
- W2034458387 hasPrimaryLocation W20344583871 @default.
- W2034458387 hasRelatedWork W1527862632 @default.
- W2034458387 hasRelatedWork W2112962394 @default.
- W2034458387 hasRelatedWork W2118300983 @default.
- W2034458387 hasRelatedWork W2135396778 @default.
- W2034458387 hasRelatedWork W2382501300 @default.
- W2034458387 hasRelatedWork W2740990710 @default.
- W2034458387 hasRelatedWork W3137189469 @default.
- W2034458387 hasRelatedWork W3162240892 @default.
- W2034458387 hasRelatedWork W4235530921 @default.
- W2034458387 hasRelatedWork W4243252198 @default.
- W2034458387 hasVolume "93" @default.
- W2034458387 isParatext "false" @default.
- W2034458387 isRetracted "false" @default.
- W2034458387 magId "2034458387" @default.
- W2034458387 workType "article" @default.