FRINK Linked Data Fragments server

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

• W2029632316 endingPage "310" @default.
• W2029632316 startingPage "263" @default.
• W2029632316 abstract "We investigate the complexity and expressive power of a spatial logic for reasoning about graphs. This logic was previously introduced by Cardelli, Gardner and Ghelli, and provides the simplest setting in which to explore such results for spatial logics. We study several forms of the logic: the logic with and without recursion, and with either an exponential or a linear version of the basic composition operator. We study the combined complexity and the expressive power of the four combinations. We prove that, without recursion, the linear and exponential versions of the logic correspond to significant fragments of first-order (FO) and monadic second-order (MSO) Logics; the two versions are actually equivalent to FO and MSO on graphs representing strings. However, when the two versions are enriched with μ-style recursion, their expressive power is sharply increased.Both are able to express PSPACE-complete problems, although their combined complexity and data complexity still belong to PSPACE." @default.
• W2029632316 created "2016-06-24" @default.
• W2029632316 creator A5023086477 @default.
• W2029632316 creator A5047951273 @default.
• W2029632316 creator A5080843415 @default.
• W2029632316 date "2007-03-01" @default.
• W2029632316 modified "2023-09-24" @default.
• W2029632316 title "Expressiveness and complexity of graph logic" @default.
• W2029632316 cites W1486095773 @default.
• W2029632316 cites W1489482702 @default.
• W2029632316 cites W1495368328 @default.
• W2029632316 cites W1513218800 @default.
• W2029632316 cites W1563892973 @default.
• W2029632316 cites W2012841134 @default.
• W2029632316 cites W2031315747 @default.
• W2029632316 cites W2052432706 @default.
• W2029632316 cites W2065251436 @default.
• W2029632316 cites W2087404611 @default.
• W2029632316 cites W2125252697 @default.
• W2029632316 cites W2143011759 @default.
• W2029632316 cites W2167998587 @default.
• W2029632316 cites W2569646339 @default.
• W2029632316 cites W4205178514 @default.
• W2029632316 cites W4238852117 @default.
• W2029632316 cites W4255551208 @default.
• W2029632316 doi "https://doi.org/10.1016/j.ic.2006.10.006" @default.
• W2029632316 hasPublicationYear "2007" @default.
• W2029632316 type Work @default.
• W2029632316 sameAs 2029632316 @default.
• W2029632316 citedByCount "35" @default.
• W2029632316 countsByYear W20296323162012 @default.
• W2029632316 countsByYear W20296323162013 @default.
• W2029632316 countsByYear W20296323162014 @default.
• W2029632316 countsByYear W20296323162015 @default.
• W2029632316 countsByYear W20296323162016 @default.
• W2029632316 countsByYear W20296323162017 @default.
• W2029632316 countsByYear W20296323162019 @default.
• W2029632316 countsByYear W20296323162020 @default.
• W2029632316 countsByYear W20296323162021 @default.
• W2029632316 countsByYear W20296323162023 @default.
• W2029632316 crossrefType "journal-article" @default.
• W2029632316 hasAuthorship W2029632316A5023086477 @default.
• W2029632316 hasAuthorship W2029632316A5047951273 @default.
• W2029632316 hasAuthorship W2029632316A5080843415 @default.
• W2029632316 hasBestOaLocation W20296323162 @default.
• W2029632316 hasConcept C102993220 @default.
• W2029632316 hasConcept C11413529 @default.
• W2029632316 hasConcept C118615104 @default.
• W2029632316 hasConcept C124656256 @default.
• W2029632316 hasConcept C133142742 @default.
• W2029632316 hasConcept C134306372 @default.
• W2029632316 hasConcept C151376022 @default.
• W2029632316 hasConcept C168773036 @default.
• W2029632316 hasConcept C169896238 @default.
• W2029632316 hasConcept C179799912 @default.
• W2029632316 hasConcept C195818886 @default.
• W2029632316 hasConcept C197685441 @default.
• W2029632316 hasConcept C311688 @default.
• W2029632316 hasConcept C33923547 @default.
• W2029632316 hasConcept C39637292 @default.
• W2029632316 hasConcept C41008148 @default.
• W2029632316 hasConcept C80444323 @default.
• W2029632316 hasConcept C9986523 @default.
• W2029632316 hasConceptScore W2029632316C102993220 @default.
• W2029632316 hasConceptScore W2029632316C11413529 @default.
• W2029632316 hasConceptScore W2029632316C118615104 @default.
• W2029632316 hasConceptScore W2029632316C124656256 @default.
• W2029632316 hasConceptScore W2029632316C133142742 @default.
• W2029632316 hasConceptScore W2029632316C134306372 @default.
• W2029632316 hasConceptScore W2029632316C151376022 @default.
• W2029632316 hasConceptScore W2029632316C168773036 @default.
• W2029632316 hasConceptScore W2029632316C169896238 @default.
• W2029632316 hasConceptScore W2029632316C179799912 @default.
• W2029632316 hasConceptScore W2029632316C195818886 @default.
• W2029632316 hasConceptScore W2029632316C197685441 @default.
• W2029632316 hasConceptScore W2029632316C311688 @default.
• W2029632316 hasConceptScore W2029632316C33923547 @default.
• W2029632316 hasConceptScore W2029632316C39637292 @default.
• W2029632316 hasConceptScore W2029632316C41008148 @default.
• W2029632316 hasConceptScore W2029632316C80444323 @default.
• W2029632316 hasConceptScore W2029632316C9986523 @default.
• W2029632316 hasIssue "3" @default.
• W2029632316 hasLocation W20296323161 @default.
• W2029632316 hasLocation W20296323162 @default.
• W2029632316 hasOpenAccess W2029632316 @default.
• W2029632316 hasPrimaryLocation W20296323161 @default.
• W2029632316 hasRelatedWork W2011534229 @default.
• W2029632316 hasRelatedWork W2029632316 @default.
• W2029632316 hasRelatedWork W2119848044 @default.
• W2029632316 hasRelatedWork W2163068410 @default.
• W2029632316 hasRelatedWork W2295040078 @default.
• W2029632316 hasRelatedWork W2327776271 @default.
• W2029632316 hasRelatedWork W2743728300 @default.
• W2029632316 hasRelatedWork W2964237202 @default.
• W2029632316 hasRelatedWork W3094951835 @default.
• W2029632316 hasRelatedWork W4294266235 @default.
• W2029632316 hasVolume "205" @default.
• W2029632316 isParatext "false" @default.

• next