FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2034586951> ?p ?o ?g. }

• W2034586951 endingPage "301" @default.
• W2034586951 startingPage "289" @default.
• W2034586951 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.
• W2034586951 created "2016-06-24" @default.
• W2034586951 creator A5000703561 @default.
• W2034586951 creator A5020814539 @default.
• W2034586951 creator A5084561937 @default.
• W2034586951 date "1995-05-01" @default.
• W2034586951 modified "2023-10-16" @default.
• W2034586951 title "Regular Languages Defined with Generalized Quantifiers" @default.
• W2034586951 cites W1523977407 @default.
• W2034586951 cites W1533648993 @default.
• W2034586951 cites W1572440476 @default.
• W2034586951 cites W1968086929 @default.
• W2034586951 cites W1986804393 @default.
• W2034586951 cites W1987027130 @default.
• W2034586951 cites W1996146377 @default.
• W2034586951 cites W2013085432 @default.
• W2034586951 cites W2014593388 @default.
• W2034586951 cites W2019522567 @default.
• W2034586951 cites W2022136117 @default.
• W2034586951 cites W2034979418 @default.
• W2034586951 cites W2038247515 @default.
• W2034586951 cites W2045924252 @default.
• W2034586951 cites W2055403716 @default.
• W2034586951 cites W2060270693 @default.
• W2034586951 cites W2070678975 @default.
• W2034586951 cites W2104952158 @default.
• W2034586951 cites W2130130502 @default.
• W2034586951 cites W2131742729 @default.
• W2034586951 cites W2165293955 @default.
• W2034586951 cites W2806619258 @default.
• W2034586951 cites W587223573 @default.
• W2034586951 doi "https://doi.org/10.1006/inco.1995.1067" @default.
• W2034586951 hasPublicationYear "1995" @default.
• W2034586951 type Work @default.
• W2034586951 sameAs 2034586951 @default.
• W2034586951 citedByCount "47" @default.
• W2034586951 countsByYear W20345869512012 @default.
• W2034586951 countsByYear W20345869512013 @default.
• W2034586951 countsByYear W20345869512014 @default.
• W2034586951 countsByYear W20345869512017 @default.
• W2034586951 countsByYear W20345869512018 @default.
• W2034586951 countsByYear W20345869512020 @default.
• W2034586951 countsByYear W20345869512023 @default.
• W2034586951 crossrefType "journal-article" @default.
• W2034586951 hasAuthorship W2034586951A5000703561 @default.
• W2034586951 hasAuthorship W2034586951A5020814539 @default.
• W2034586951 hasAuthorship W2034586951A5084561937 @default.
• W2034586951 hasBestOaLocation W20345869511 @default.
• W2034586951 hasConcept C100481476 @default.
• W2034586951 hasConcept C10138342 @default.
• W2034586951 hasConcept C112505250 @default.
• W2034586951 hasConcept C11413529 @default.
• W2034586951 hasConcept C118615104 @default.
• W2034586951 hasConcept C136119220 @default.
• W2034586951 hasConcept C162324750 @default.
• W2034586951 hasConcept C182306322 @default.
• W2034586951 hasConcept C199360897 @default.
• W2034586951 hasConcept C202444582 @default.
• W2034586951 hasConcept C2778029271 @default.
• W2034586951 hasConcept C30014739 @default.
• W2034586951 hasConcept C33923547 @default.
• W2034586951 hasConcept C41008148 @default.
• W2034586951 hasConcept C52370388 @default.
• W2034586951 hasConcept C80444323 @default.
• W2034586951 hasConcept C94375191 @default.
• W2034586951 hasConcept C97137487 @default.
• W2034586951 hasConceptScore W2034586951C100481476 @default.
• W2034586951 hasConceptScore W2034586951C10138342 @default.
• W2034586951 hasConceptScore W2034586951C112505250 @default.
• W2034586951 hasConceptScore W2034586951C11413529 @default.
• W2034586951 hasConceptScore W2034586951C118615104 @default.
• W2034586951 hasConceptScore W2034586951C136119220 @default.
• W2034586951 hasConceptScore W2034586951C162324750 @default.
• W2034586951 hasConceptScore W2034586951C182306322 @default.
• W2034586951 hasConceptScore W2034586951C199360897 @default.
• W2034586951 hasConceptScore W2034586951C202444582 @default.
• W2034586951 hasConceptScore W2034586951C2778029271 @default.
• W2034586951 hasConceptScore W2034586951C30014739 @default.
• W2034586951 hasConceptScore W2034586951C33923547 @default.
• W2034586951 hasConceptScore W2034586951C41008148 @default.
• W2034586951 hasConceptScore W2034586951C52370388 @default.
• W2034586951 hasConceptScore W2034586951C80444323 @default.
• W2034586951 hasConceptScore W2034586951C94375191 @default.
• W2034586951 hasConceptScore W2034586951C97137487 @default.
• W2034586951 hasIssue "2" @default.
• W2034586951 hasLocation W20345869511 @default.
• W2034586951 hasOpenAccess W2034586951 @default.
• W2034586951 hasPrimaryLocation W20345869511 @default.
• W2034586951 hasRelatedWork W1967784590 @default.
• W2034586951 hasRelatedWork W2033571057 @default.
• W2034586951 hasRelatedWork W2044215988 @default.
• W2034586951 hasRelatedWork W2123715679 @default.
• W2034586951 hasRelatedWork W2320266418 @default.
• W2034586951 hasRelatedWork W2327497304 @default.
• W2034586951 hasRelatedWork W2329128713 @default.
• W2034586951 hasRelatedWork W2352495365 @default.
• W2034586951 hasRelatedWork W3080875783 @default.
• W2034586951 hasRelatedWork W4251067554 @default.

• next