Matches in SemOpenAlex for { <https://semopenalex.org/work/W2014767626> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W2014767626 abstract "We extend first-order logic with counting by a new operator that allows it to formalise a limited form of recursion which can be evaluated in logarithmic space. The resulting logic LREC has a data complexity in LOGSPACE, and it defines LOGSPACE-complete problems like deterministic reachability and Boolean formula evaluation. We prove that LREC is strictly more expressive than deterministic transitive closure logic with counting and incomparable in expressive power with symmetric transitive closure logic STC and transitive closure logic (with or without counting). LREC is strictly contained in fixed-point logic with counting FPC. We also study an extension LREC= of LREC that has nicer closure properties and is more expressive than both LREC and STC, but is still contained in FPC and has a data complexity in LOGSPACE. Our main results are that LREC captures LOGSPACE on the class of directed trees and that LREC= captures LOGSPACE on the class of interval graphs." @default.
- W2014767626 created "2016-06-24" @default.
- W2014767626 creator A5012386801 @default.
- W2014767626 creator A5012432749 @default.
- W2014767626 creator A5063696466 @default.
- W2014767626 creator A5073893026 @default.
- W2014767626 date "2013-03-13" @default.
- W2014767626 modified "2023-10-16" @default.
- W2014767626 title "L-Recursion and a new Logic for Logarithmic Space" @default.
- W2014767626 cites W1482193060 @default.
- W2014767626 cites W1489366126 @default.
- W2014767626 cites W1540331880 @default.
- W2014767626 cites W189149083 @default.
- W2014767626 cites W1970629906 @default.
- W2014767626 cites W1984890936 @default.
- W2014767626 cites W2000763343 @default.
- W2014767626 cites W2013208146 @default.
- W2014767626 cites W2063410295 @default.
- W2014767626 cites W2068638452 @default.
- W2014767626 cites W2088094394 @default.
- W2014767626 cites W2105787964 @default.
- W2014767626 cites W2111302825 @default.
- W2014767626 cites W2158308328 @default.
- W2014767626 cites W2166162093 @default.
- W2014767626 cites W2171491461 @default.
- W2014767626 cites W2175195593 @default.
- W2014767626 cites W2290968667 @default.
- W2014767626 cites W2963610628 @default.
- W2014767626 cites W3127113455 @default.
- W2014767626 cites W129187698 @default.
- W2014767626 doi "https://doi.org/10.2168/lmcs-9(1:11)2013" @default.
- W2014767626 hasPublicationYear "2013" @default.
- W2014767626 type Work @default.
- W2014767626 sameAs 2014767626 @default.
- W2014767626 citedByCount "2" @default.
- W2014767626 countsByYear W20147676262018 @default.
- W2014767626 countsByYear W20147676262023 @default.
- W2014767626 crossrefType "journal-article" @default.
- W2014767626 hasAuthorship W2014767626A5012386801 @default.
- W2014767626 hasAuthorship W2014767626A5012432749 @default.
- W2014767626 hasAuthorship W2014767626A5063696466 @default.
- W2014767626 hasAuthorship W2014767626A5073893026 @default.
- W2014767626 hasBestOaLocation W20147676261 @default.
- W2014767626 hasConcept C11413529 @default.
- W2014767626 hasConcept C114614502 @default.
- W2014767626 hasConcept C118615104 @default.
- W2014767626 hasConcept C128896722 @default.
- W2014767626 hasConcept C136643341 @default.
- W2014767626 hasConcept C146834321 @default.
- W2014767626 hasConcept C154945302 @default.
- W2014767626 hasConcept C162324750 @default.
- W2014767626 hasConcept C168773036 @default.
- W2014767626 hasConcept C179799912 @default.
- W2014767626 hasConcept C200415742 @default.
- W2014767626 hasConcept C2777212361 @default.
- W2014767626 hasConcept C33923547 @default.
- W2014767626 hasConcept C34447519 @default.
- W2014767626 hasConcept C39637292 @default.
- W2014767626 hasConcept C41008148 @default.
- W2014767626 hasConcept C80444323 @default.
- W2014767626 hasConceptScore W2014767626C11413529 @default.
- W2014767626 hasConceptScore W2014767626C114614502 @default.
- W2014767626 hasConceptScore W2014767626C118615104 @default.
- W2014767626 hasConceptScore W2014767626C128896722 @default.
- W2014767626 hasConceptScore W2014767626C136643341 @default.
- W2014767626 hasConceptScore W2014767626C146834321 @default.
- W2014767626 hasConceptScore W2014767626C154945302 @default.
- W2014767626 hasConceptScore W2014767626C162324750 @default.
- W2014767626 hasConceptScore W2014767626C168773036 @default.
- W2014767626 hasConceptScore W2014767626C179799912 @default.
- W2014767626 hasConceptScore W2014767626C200415742 @default.
- W2014767626 hasConceptScore W2014767626C2777212361 @default.
- W2014767626 hasConceptScore W2014767626C33923547 @default.
- W2014767626 hasConceptScore W2014767626C34447519 @default.
- W2014767626 hasConceptScore W2014767626C39637292 @default.
- W2014767626 hasConceptScore W2014767626C41008148 @default.
- W2014767626 hasConceptScore W2014767626C80444323 @default.
- W2014767626 hasLocation W20147676261 @default.
- W2014767626 hasLocation W20147676262 @default.
- W2014767626 hasLocation W20147676263 @default.
- W2014767626 hasLocation W20147676264 @default.
- W2014767626 hasLocation W20147676265 @default.
- W2014767626 hasLocation W20147676266 @default.
- W2014767626 hasOpenAccess W2014767626 @default.
- W2014767626 hasPrimaryLocation W20147676261 @default.
- W2014767626 hasRelatedWork W1548215338 @default.
- W2014767626 hasRelatedWork W1586907944 @default.
- W2014767626 hasRelatedWork W2014767626 @default.
- W2014767626 hasRelatedWork W2119848044 @default.
- W2014767626 hasRelatedWork W2168681835 @default.
- W2014767626 hasRelatedWork W2187311742 @default.
- W2014767626 hasRelatedWork W2375463958 @default.
- W2014767626 hasRelatedWork W2963610628 @default.
- W2014767626 hasRelatedWork W4236806770 @default.
- W2014767626 hasRelatedWork W90346837 @default.
- W2014767626 hasVolume "Volume 9, Issue 1" @default.
- W2014767626 isParatext "false" @default.
- W2014767626 isRetracted "false" @default.
- W2014767626 magId "2014767626" @default.
- W2014767626 workType "article" @default.