Matches in SemOpenAlex for { <https://semopenalex.org/work/W2111673589> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W2111673589 abstract "We study an extension of first-order logic obtained by adjoining quantifiers that count with respect to an integer modulus. It is shown that the languages definable in this framework are precisely the regular languages whose syntactic monoids contain only solvable groups. We obtain an analogous result for regular ω-languages and establish some connections with complexity theory for fixed-depth families of circuits." @default.
- W2111673589 created "2016-06-24" @default.
- W2111673589 creator A5000703561 @default.
- W2111673589 creator A5020814539 @default.
- W2111673589 creator A5084561937 @default.
- W2111673589 date "1988-01-01" @default.
- W2111673589 modified "2023-09-27" @default.
- W2111673589 title "Regular languages defined with generalized quantifiers" @default.
- W2111673589 cites W1533648993 @default.
- W2111673589 cites W1572440476 @default.
- W2111673589 cites W1968086929 @default.
- W2111673589 cites W1986804393 @default.
- W2111673589 cites W1987027130 @default.
- W2111673589 cites W1996146377 @default.
- W2111673589 cites W2013085432 @default.
- W2111673589 cites W2014593388 @default.
- W2111673589 cites W2019522567 @default.
- W2111673589 cites W2022136117 @default.
- W2111673589 cites W2034979418 @default.
- W2111673589 cites W2038247515 @default.
- W2111673589 cites W2045924252 @default.
- W2111673589 cites W2055403716 @default.
- W2111673589 cites W2060270693 @default.
- W2111673589 cites W2070678975 @default.
- W2111673589 cites W2104952158 @default.
- W2111673589 cites W2130130502 @default.
- W2111673589 cites W2165293955 @default.
- W2111673589 cites W2806619258 @default.
- W2111673589 cites W4205178514 @default.
- W2111673589 doi "https://doi.org/10.1007/3-540-19488-6_142" @default.
- W2111673589 hasPublicationYear "1988" @default.
- W2111673589 type Work @default.
- W2111673589 sameAs 2111673589 @default.
- W2111673589 citedByCount "23" @default.
- W2111673589 countsByYear W21116735892021 @default.
- W2111673589 crossrefType "book-chapter" @default.
- W2111673589 hasAuthorship W2111673589A5000703561 @default.
- W2111673589 hasAuthorship W2111673589A5020814539 @default.
- W2111673589 hasAuthorship W2111673589A5084561937 @default.
- W2111673589 hasConcept C100481476 @default.
- W2111673589 hasConcept C10138342 @default.
- W2111673589 hasConcept C112505250 @default.
- W2111673589 hasConcept C118615104 @default.
- W2111673589 hasConcept C136119220 @default.
- W2111673589 hasConcept C162324750 @default.
- W2111673589 hasConcept C182306322 @default.
- W2111673589 hasConcept C199360897 @default.
- W2111673589 hasConcept C202444582 @default.
- W2111673589 hasConcept C2778029271 @default.
- W2111673589 hasConcept C33923547 @default.
- W2111673589 hasConcept C41008148 @default.
- W2111673589 hasConcept C52370388 @default.
- W2111673589 hasConcept C80444323 @default.
- W2111673589 hasConcept C94375191 @default.
- W2111673589 hasConcept C97137487 @default.
- W2111673589 hasConceptScore W2111673589C100481476 @default.
- W2111673589 hasConceptScore W2111673589C10138342 @default.
- W2111673589 hasConceptScore W2111673589C112505250 @default.
- W2111673589 hasConceptScore W2111673589C118615104 @default.
- W2111673589 hasConceptScore W2111673589C136119220 @default.
- W2111673589 hasConceptScore W2111673589C162324750 @default.
- W2111673589 hasConceptScore W2111673589C182306322 @default.
- W2111673589 hasConceptScore W2111673589C199360897 @default.
- W2111673589 hasConceptScore W2111673589C202444582 @default.
- W2111673589 hasConceptScore W2111673589C2778029271 @default.
- W2111673589 hasConceptScore W2111673589C33923547 @default.
- W2111673589 hasConceptScore W2111673589C41008148 @default.
- W2111673589 hasConceptScore W2111673589C52370388 @default.
- W2111673589 hasConceptScore W2111673589C80444323 @default.
- W2111673589 hasConceptScore W2111673589C94375191 @default.
- W2111673589 hasConceptScore W2111673589C97137487 @default.
- W2111673589 hasLocation W21116735891 @default.
- W2111673589 hasOpenAccess W2111673589 @default.
- W2111673589 hasPrimaryLocation W21116735891 @default.
- W2111673589 hasRelatedWork W1523977407 @default.
- W2111673589 hasRelatedWork W1533648993 @default.
- W2111673589 hasRelatedWork W1570445666 @default.
- W2111673589 hasRelatedWork W1970629906 @default.
- W2111673589 hasRelatedWork W1972594149 @default.
- W2111673589 hasRelatedWork W1987027130 @default.
- W2111673589 hasRelatedWork W200063938 @default.
- W2111673589 hasRelatedWork W2010465749 @default.
- W2111673589 hasRelatedWork W2013085432 @default.
- W2111673589 hasRelatedWork W2020558489 @default.
- W2111673589 hasRelatedWork W2036656440 @default.
- W2111673589 hasRelatedWork W2060270693 @default.
- W2111673589 hasRelatedWork W2104952158 @default.
- W2111673589 hasRelatedWork W2116250539 @default.
- W2111673589 hasRelatedWork W2131742729 @default.
- W2111673589 hasRelatedWork W2964144275 @default.
- W2111673589 hasRelatedWork W2998521476 @default.
- W2111673589 hasRelatedWork W3127113455 @default.
- W2111673589 hasRelatedWork W587223573 @default.
- W2111673589 hasRelatedWork W3194445042 @default.
- W2111673589 isParatext "false" @default.
- W2111673589 isRetracted "false" @default.
- W2111673589 magId "2111673589" @default.
- W2111673589 workType "book-chapter" @default.