Matches in SemOpenAlex for { <https://semopenalex.org/work/W1648628209> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W1648628209 abstract "We investigate the expressive power of first-order quantifications in the context of monadic second-order logic over pictures. We show that k+1 set quantifier alternations allow to define a picture language that cannot be defined using k set quantifier alternations preceded by arbitrarily many first-order quantifier alternations. The approach uses, for a given picture language L and an integer m > 0 the height-m fragment of L, which is defined as the word language obtained by considering each picture p of height m in L as a word, where the letters of that word are the columns of p. A key idea is to measure the complexity of a regular word language by the group complexity of its syntactic monoid. Given a picture language L, such a word language measure may be applied to each of its height fragments, so that the complexity of the picture language is a function that maps each m to the complexity of the height-m fragment of L. The asymptotic growth rate of that function may be bounded based on the structure of a monadic second-order formula that defines L. The core argument for that lower bound proof is based on Straubing's algebraic characterization of the effect of first-order quantifiers on the syntactic monoid of word languages by means of Rhodes' and Tilson's block product." @default.
- W1648628209 created "2016-06-24" @default.
- W1648628209 creator A5052876059 @default.
- W1648628209 date "2012-04-19" @default.
- W1648628209 modified "2023-09-27" @default.
- W1648628209 title "First-Order Quantifiers and the Syntactic Monoid of Height Fragments of Picture Languages" @default.
- W1648628209 hasPublicationYear "2012" @default.
- W1648628209 type Work @default.
- W1648628209 sameAs 1648628209 @default.
- W1648628209 citedByCount "0" @default.
- W1648628209 crossrefType "posted-content" @default.
- W1648628209 hasAuthorship W1648628209A5052876059 @default.
- W1648628209 hasConcept C10138342 @default.
- W1648628209 hasConcept C112505250 @default.
- W1648628209 hasConcept C114614502 @default.
- W1648628209 hasConcept C118615104 @default.
- W1648628209 hasConcept C134306372 @default.
- W1648628209 hasConcept C151730666 @default.
- W1648628209 hasConcept C154945302 @default.
- W1648628209 hasConcept C162324750 @default.
- W1648628209 hasConcept C182306322 @default.
- W1648628209 hasConcept C204321447 @default.
- W1648628209 hasConcept C206901836 @default.
- W1648628209 hasConcept C2524010 @default.
- W1648628209 hasConcept C2778523021 @default.
- W1648628209 hasConcept C2779343474 @default.
- W1648628209 hasConcept C33923547 @default.
- W1648628209 hasConcept C34388435 @default.
- W1648628209 hasConcept C41008148 @default.
- W1648628209 hasConcept C52370388 @default.
- W1648628209 hasConcept C70777604 @default.
- W1648628209 hasConcept C86803240 @default.
- W1648628209 hasConcept C90805587 @default.
- W1648628209 hasConceptScore W1648628209C10138342 @default.
- W1648628209 hasConceptScore W1648628209C112505250 @default.
- W1648628209 hasConceptScore W1648628209C114614502 @default.
- W1648628209 hasConceptScore W1648628209C118615104 @default.
- W1648628209 hasConceptScore W1648628209C134306372 @default.
- W1648628209 hasConceptScore W1648628209C151730666 @default.
- W1648628209 hasConceptScore W1648628209C154945302 @default.
- W1648628209 hasConceptScore W1648628209C162324750 @default.
- W1648628209 hasConceptScore W1648628209C182306322 @default.
- W1648628209 hasConceptScore W1648628209C204321447 @default.
- W1648628209 hasConceptScore W1648628209C206901836 @default.
- W1648628209 hasConceptScore W1648628209C2524010 @default.
- W1648628209 hasConceptScore W1648628209C2778523021 @default.
- W1648628209 hasConceptScore W1648628209C2779343474 @default.
- W1648628209 hasConceptScore W1648628209C33923547 @default.
- W1648628209 hasConceptScore W1648628209C34388435 @default.
- W1648628209 hasConceptScore W1648628209C41008148 @default.
- W1648628209 hasConceptScore W1648628209C52370388 @default.
- W1648628209 hasConceptScore W1648628209C70777604 @default.
- W1648628209 hasConceptScore W1648628209C86803240 @default.
- W1648628209 hasConceptScore W1648628209C90805587 @default.
- W1648628209 hasLocation W16486282091 @default.
- W1648628209 hasOpenAccess W1648628209 @default.
- W1648628209 hasPrimaryLocation W16486282091 @default.
- W1648628209 hasRelatedWork W1535396292 @default.
- W1648628209 hasRelatedWork W1551001016 @default.
- W1648628209 hasRelatedWork W1561138645 @default.
- W1648628209 hasRelatedWork W1566349547 @default.
- W1648628209 hasRelatedWork W1713868372 @default.
- W1648628209 hasRelatedWork W1736615600 @default.
- W1648628209 hasRelatedWork W1796835294 @default.
- W1648628209 hasRelatedWork W1892576137 @default.
- W1648628209 hasRelatedWork W1975250030 @default.
- W1648628209 hasRelatedWork W2013085432 @default.
- W1648628209 hasRelatedWork W2096648167 @default.
- W1648628209 hasRelatedWork W2302148645 @default.
- W1648628209 hasRelatedWork W2743761496 @default.
- W1648628209 hasRelatedWork W2752377494 @default.
- W1648628209 hasRelatedWork W2904842705 @default.
- W1648628209 hasRelatedWork W2910371329 @default.
- W1648628209 hasRelatedWork W2949223734 @default.
- W1648628209 hasRelatedWork W2964071789 @default.
- W1648628209 hasRelatedWork W3165344874 @default.
- W1648628209 hasRelatedWork W2121744085 @default.
- W1648628209 isParatext "false" @default.
- W1648628209 isRetracted "false" @default.
- W1648628209 magId "1648628209" @default.
- W1648628209 workType "article" @default.