FRINK Linked Data Fragments server

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

• W2990648384 abstract "We propose logical characterizations of problems solvable in deterministic polylogarithmic time (PolylogTime) and polylogarithmic space (PolylogSpace). We introduce a novel two-sorted logic that separates the elements of the input domain from the bit positions needed to address these elements. We prove that the inflationary and partial fixed point vartiants of this logic capture PolylogTime and PolylogSpace, respectively. In the course of proving that our logic indeed captures PolylogTime on finite ordered structures, we introduce a variant of random-access Turing machines that can access the relations and functions of a structure directly. We investigate whether an explicit predicate for the ordering of the domain is needed in our PolylogTime logic. Finally, we present the open problem of finding an exact characterization of order-invariant queries in PolylogTime." @default.
• W2990648384 created "2019-12-05" @default.
• W2990648384 creator A5026424588 @default.
• W2990648384 creator A5034296939 @default.
• W2990648384 creator A5035972346 @default.
• W2990648384 creator A5073358565 @default.
• W2990648384 creator A5089823917 @default.
• W2990648384 date "2019-03-08" @default.
• W2990648384 modified "2023-09-25" @default.
• W2990648384 title "Descriptive Complexity of Deterministic Polylogarithmic Time and Space" @default.
• W2990648384 cites W1482193060 @default.
• W2990648384 cites W1483607134 @default.
• W2990648384 cites W1489366126 @default.
• W2990648384 cites W1497287285 @default.
• W2990648384 cites W1558832481 @default.
• W2990648384 cites W1600795850 @default.
• W2990648384 cites W1986736553 @default.
• W2990648384 cites W2011039300 @default.
• W2990648384 cites W2043507528 @default.
• W2990648384 cites W2045583484 @default.
• W2990648384 cites W2046346171 @default.
• W2990648384 cites W2059144726 @default.
• W2990648384 cites W2065251436 @default.
• W2990648384 cites W2088094394 @default.
• W2990648384 cites W2088141885 @default.
• W2990648384 cites W2106082215 @default.
• W2990648384 cites W2126466445 @default.
• W2990648384 cites W2142482847 @default.
• W2990648384 cites W2169974244 @default.
• W2990648384 cites W2171491461 @default.
• W2990648384 cites W2724794807 @default.
• W2990648384 cites W2963628519 @default.
• W2990648384 cites W3127113455 @default.
• W2990648384 cites W43155751 @default.
• W2990648384 hasPublicationYear "2019" @default.
• W2990648384 type Work @default.
• W2990648384 sameAs 2990648384 @default.
• W2990648384 citedByCount "1" @default.
• W2990648384 countsByYear W29906483842020 @default.
• W2990648384 crossrefType "posted-content" @default.
• W2990648384 hasAuthorship W2990648384A5026424588 @default.
• W2990648384 hasAuthorship W2990648384A5034296939 @default.
• W2990648384 hasAuthorship W2990648384A5035972346 @default.
• W2990648384 hasAuthorship W2990648384A5073358565 @default.
• W2990648384 hasAuthorship W2990648384A5089823917 @default.
• W2990648384 hasConcept C100481476 @default.
• W2990648384 hasConcept C102993220 @default.
• W2990648384 hasConcept C11413529 @default.
• W2990648384 hasConcept C118615104 @default.
• W2990648384 hasConcept C133142742 @default.
• W2990648384 hasConcept C134306372 @default.
• W2990648384 hasConcept C140146324 @default.
• W2990648384 hasConcept C19689857 @default.
• W2990648384 hasConcept C199360897 @default.
• W2990648384 hasConcept C29248071 @default.
• W2990648384 hasConcept C311688 @default.
• W2990648384 hasConcept C33923547 @default.
• W2990648384 hasConcept C36503486 @default.
• W2990648384 hasConcept C41008148 @default.
• W2990648384 hasConcept C45374587 @default.
• W2990648384 hasConcept C80444323 @default.
• W2990648384 hasConcept C9870796 @default.
• W2990648384 hasConceptScore W2990648384C100481476 @default.
• W2990648384 hasConceptScore W2990648384C102993220 @default.
• W2990648384 hasConceptScore W2990648384C11413529 @default.
• W2990648384 hasConceptScore W2990648384C118615104 @default.
• W2990648384 hasConceptScore W2990648384C133142742 @default.
• W2990648384 hasConceptScore W2990648384C134306372 @default.
• W2990648384 hasConceptScore W2990648384C140146324 @default.
• W2990648384 hasConceptScore W2990648384C19689857 @default.
• W2990648384 hasConceptScore W2990648384C199360897 @default.
• W2990648384 hasConceptScore W2990648384C29248071 @default.
• W2990648384 hasConceptScore W2990648384C311688 @default.
• W2990648384 hasConceptScore W2990648384C33923547 @default.
• W2990648384 hasConceptScore W2990648384C36503486 @default.
• W2990648384 hasConceptScore W2990648384C41008148 @default.
• W2990648384 hasConceptScore W2990648384C45374587 @default.
• W2990648384 hasConceptScore W2990648384C80444323 @default.
• W2990648384 hasConceptScore W2990648384C9870796 @default.
• W2990648384 hasLocation W29906483841 @default.
• W2990648384 hasOpenAccess W2990648384 @default.
• W2990648384 hasPrimaryLocation W29906483841 @default.
• W2990648384 hasRelatedWork W1493923326 @default.
• W2990648384 hasRelatedWork W1572916600 @default.
• W2990648384 hasRelatedWork W1577096194 @default.
• W2990648384 hasRelatedWork W1946987616 @default.
• W2990648384 hasRelatedWork W1956764718 @default.
• W2990648384 hasRelatedWork W1976356065 @default.
• W2990648384 hasRelatedWork W2005689570 @default.
• W2990648384 hasRelatedWork W2059820690 @default.
• W2990648384 hasRelatedWork W2083568668 @default.
• W2990648384 hasRelatedWork W2109858088 @default.
• W2990648384 hasRelatedWork W2141421279 @default.
• W2990648384 hasRelatedWork W2290968667 @default.
• W2990648384 hasRelatedWork W2594336677 @default.
• W2990648384 hasRelatedWork W2798653279 @default.
• W2990648384 hasRelatedWork W2954110458 @default.
• W2990648384 hasRelatedWork W313043026 @default.
• W2990648384 hasRelatedWork W3134715869 @default.
• W2990648384 hasRelatedWork W3200143297 @default.

• next