FRINK Linked Data Fragments server

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

• W1560572178 endingPage "344" @default.
• W1560572178 startingPage "325" @default.
• W1560572178 abstract "Monadic least fixed point logic MLFP is a natural logic whose expressiveness lies between that of first-order logic FO and monadic second-order logic MSO. In this paper, we take a closer look at the expressive power of MLFP. Our results are: MLFP can describe graph properties beyond any fixed level of the monadic second-order quantifier alternation hierarchy. On strings with built-in addition, MLFP can describe at least all languages that belong to the linear time complexity class DLIN. Settling the question whether addition-invariant MLFP=?addition-invariant MSO on finite stringsor, equivalently, settling the question whether MLFP=?MSO on finite strings with additionwould solve open problems in complexity theory: “=” would imply that PH=PTIME whereas “≠” would imply that DLIN≠LINH." @default.
• W1560572178 created "2016-06-24" @default.
• W1560572178 creator A5019365566 @default.
• W1560572178 date "2006-02-01" @default.
• W1560572178 modified "2023-09-27" @default.
• W1560572178 title "On the expressive power of monadic least fixed point logic" @default.
• W1560572178 cites W141522305 @default.
• W1560572178 cites W1482193060 @default.
• W1560572178 cites W1584587517 @default.
• W1560572178 cites W1816620374 @default.
• W1560572178 cites W1820094483 @default.
• W1560572178 cites W1975442866 @default.
• W1560572178 cites W1980103601 @default.
• W1560572178 cites W1988899858 @default.
• W1560572178 cites W2004663163 @default.
• W1560572178 cites W2012707656 @default.
• W1560572178 cites W2022112486 @default.
• W1560572178 cites W2025902224 @default.
• W1560572178 cites W2029100403 @default.
• W1560572178 cites W2031470081 @default.
• W1560572178 cites W2038232488 @default.
• W1560572178 cites W2046652577 @default.
• W1560572178 cites W2054860648 @default.
• W1560572178 cites W2059813129 @default.
• W1560572178 cites W2065251436 @default.
• W1560572178 cites W2066617111 @default.
• W1560572178 cites W2070632872 @default.
• W1560572178 cites W2097635945 @default.
• W1560572178 cites W2100006909 @default.
• W1560572178 cites W2129959868 @default.
• W1560572178 cites W2132638915 @default.
• W1560572178 cites W2136195897 @default.
• W1560572178 cites W2141111771 @default.
• W1560572178 cites W2168498451 @default.
• W1560572178 doi "https://doi.org/10.1016/j.tcs.2005.10.025" @default.
• W1560572178 hasPublicationYear "2006" @default.
• W1560572178 type Work @default.
• W1560572178 sameAs 1560572178 @default.
• W1560572178 citedByCount "13" @default.
• W1560572178 countsByYear W15605721782012 @default.
• W1560572178 countsByYear W15605721782013 @default.
• W1560572178 countsByYear W15605721782019 @default.
• W1560572178 crossrefType "journal-article" @default.
• W1560572178 hasAuthorship W1560572178A5019365566 @default.
• W1560572178 hasConcept C100481476 @default.
• W1560572178 hasConcept C102993220 @default.
• W1560572178 hasConcept C118615104 @default.
• W1560572178 hasConcept C124656256 @default.
• W1560572178 hasConcept C133142742 @default.
• W1560572178 hasConcept C134026603 @default.
• W1560572178 hasConcept C134306372 @default.
• W1560572178 hasConcept C138885662 @default.
• W1560572178 hasConcept C144791301 @default.
• W1560572178 hasConcept C154945302 @default.
• W1560572178 hasConcept C162324750 @default.
• W1560572178 hasConcept C169896238 @default.
• W1560572178 hasConcept C195818886 @default.
• W1560572178 hasConcept C206929604 @default.
• W1560572178 hasConcept C26826806 @default.
• W1560572178 hasConcept C27333817 @default.
• W1560572178 hasConcept C2778523021 @default.
• W1560572178 hasConcept C28642324 @default.
• W1560572178 hasConcept C311688 @default.
• W1560572178 hasConcept C31170391 @default.
• W1560572178 hasConcept C33923547 @default.
• W1560572178 hasConcept C34447519 @default.
• W1560572178 hasConcept C39637292 @default.
• W1560572178 hasConcept C41008148 @default.
• W1560572178 hasConcept C41895202 @default.
• W1560572178 hasConcept C45962547 @default.
• W1560572178 hasConcept C61445026 @default.
• W1560572178 hasConcept C80444323 @default.
• W1560572178 hasConceptScore W1560572178C100481476 @default.
• W1560572178 hasConceptScore W1560572178C102993220 @default.
• W1560572178 hasConceptScore W1560572178C118615104 @default.
• W1560572178 hasConceptScore W1560572178C124656256 @default.
• W1560572178 hasConceptScore W1560572178C133142742 @default.
• W1560572178 hasConceptScore W1560572178C134026603 @default.
• W1560572178 hasConceptScore W1560572178C134306372 @default.
• W1560572178 hasConceptScore W1560572178C138885662 @default.
• W1560572178 hasConceptScore W1560572178C144791301 @default.
• W1560572178 hasConceptScore W1560572178C154945302 @default.
• W1560572178 hasConceptScore W1560572178C162324750 @default.
• W1560572178 hasConceptScore W1560572178C169896238 @default.
• W1560572178 hasConceptScore W1560572178C195818886 @default.
• W1560572178 hasConceptScore W1560572178C206929604 @default.
• W1560572178 hasConceptScore W1560572178C26826806 @default.
• W1560572178 hasConceptScore W1560572178C27333817 @default.
• W1560572178 hasConceptScore W1560572178C2778523021 @default.
• W1560572178 hasConceptScore W1560572178C28642324 @default.
• W1560572178 hasConceptScore W1560572178C311688 @default.
• W1560572178 hasConceptScore W1560572178C31170391 @default.
• W1560572178 hasConceptScore W1560572178C33923547 @default.
• W1560572178 hasConceptScore W1560572178C34447519 @default.
• W1560572178 hasConceptScore W1560572178C39637292 @default.
• W1560572178 hasConceptScore W1560572178C41008148 @default.
• W1560572178 hasConceptScore W1560572178C41895202 @default.
• W1560572178 hasConceptScore W1560572178C45962547 @default.

• next