FRINK Linked Data Fragments server

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

• W2952337735 abstract "Patnaik and Immerman introduced the dynamic complexity class DynFO of database queries that can be maintained by first-order dynamic programs with the help of auxiliary relations under insertions and deletions of edges (Patnaik and Immerman 1997). This article confirms their conjecture that the Reachability query is in DynFO. As a byproduct it is shown that the rank of a matrix with small values can be maintained in DynFO(+,x). It is further shown that the (size of the) maximum matching of a graph can be maintained in non-uniform DynFO, another extension of DynFO, with non-uniform initialisation of the auxiliary relations." @default.
• W2952337735 created "2019-06-27" @default.
• W2952337735 creator A5014218936 @default.
• W2952337735 creator A5023740993 @default.
• W2952337735 creator A5031710345 @default.
• W2952337735 creator A5046919162 @default.
• W2952337735 creator A5056318386 @default.
• W2952337735 date "2015-02-26" @default.
• W2952337735 modified "2023-09-27" @default.
• W2952337735 title "Reachability is in DynFO" @default.
• W2952337735 cites W120571988 @default.
• W2952337735 cites W1480319329 @default.
• W2952337735 cites W1487444668 @default.
• W2952337735 cites W1489500694 @default.
• W2952337735 cites W1496024985 @default.
• W2952337735 cites W15553240 @default.
• W2952337735 cites W1601937749 @default.
• W2952337735 cites W1652152825 @default.
• W2952337735 cites W1814445252 @default.
• W2952337735 cites W1845188577 @default.
• W2952337735 cites W1976781283 @default.
• W2952337735 cites W1978026115 @default.
• W2952337735 cites W1980634162 @default.
• W2952337735 cites W1981234161 @default.
• W2952337735 cites W1985061810 @default.
• W2952337735 cites W2014352902 @default.
• W2952337735 cites W2024823088 @default.
• W2952337735 cites W2031592993 @default.
• W2952337735 cites W2042853248 @default.
• W2952337735 cites W2045583484 @default.
• W2952337735 cites W2045978585 @default.
• W2952337735 cites W2059052871 @default.
• W2952337735 cites W2069792649 @default.
• W2952337735 cites W2089939118 @default.
• W2952337735 cites W2093747132 @default.
• W2952337735 cites W2099450374 @default.
• W2952337735 cites W2099493254 @default.
• W2952337735 cites W2135282325 @default.
• W2952337735 cites W2139236203 @default.
• W2952337735 cites W2148544545 @default.
• W2952337735 cites W2150825551 @default.
• W2952337735 cites W2290968667 @default.
• W2952337735 cites W241260042 @default.
• W2952337735 cites W2462186421 @default.
• W2952337735 cites W2485455256 @default.
• W2952337735 cites W2614633957 @default.
• W2952337735 cites W2963669687 @default.
• W2952337735 cites W51516856 @default.
• W2952337735 cites W212707552 @default.
• W2952337735 hasPublicationYear "2015" @default.
• W2952337735 type Work @default.
• W2952337735 sameAs 2952337735 @default.
• W2952337735 citedByCount "5" @default.
• W2952337735 countsByYear W29523377352016 @default.
• W2952337735 countsByYear W29523377352017 @default.
• W2952337735 countsByYear W29523377352018 @default.
• W2952337735 countsByYear W29523377352020 @default.
• W2952337735 crossrefType "posted-content" @default.
• W2952337735 hasAuthorship W2952337735A5014218936 @default.
• W2952337735 hasAuthorship W2952337735A5023740993 @default.
• W2952337735 hasAuthorship W2952337735A5031710345 @default.
• W2952337735 hasAuthorship W2952337735A5046919162 @default.
• W2952337735 hasAuthorship W2952337735A5056318386 @default.
• W2952337735 hasConcept C105795698 @default.
• W2952337735 hasConcept C11413529 @default.
• W2952337735 hasConcept C114614502 @default.
• W2952337735 hasConcept C118615104 @default.
• W2952337735 hasConcept C132525143 @default.
• W2952337735 hasConcept C136643341 @default.
• W2952337735 hasConcept C154945302 @default.
• W2952337735 hasConcept C164226766 @default.
• W2952337735 hasConcept C165064840 @default.
• W2952337735 hasConcept C199360897 @default.
• W2952337735 hasConcept C2777212361 @default.
• W2952337735 hasConcept C2778029271 @default.
• W2952337735 hasConcept C2780990831 @default.
• W2952337735 hasConcept C33923547 @default.
• W2952337735 hasConcept C41008148 @default.
• W2952337735 hasConceptScore W2952337735C105795698 @default.
• W2952337735 hasConceptScore W2952337735C11413529 @default.
• W2952337735 hasConceptScore W2952337735C114614502 @default.
• W2952337735 hasConceptScore W2952337735C118615104 @default.
• W2952337735 hasConceptScore W2952337735C132525143 @default.
• W2952337735 hasConceptScore W2952337735C136643341 @default.
• W2952337735 hasConceptScore W2952337735C154945302 @default.
• W2952337735 hasConceptScore W2952337735C164226766 @default.
• W2952337735 hasConceptScore W2952337735C165064840 @default.
• W2952337735 hasConceptScore W2952337735C199360897 @default.
• W2952337735 hasConceptScore W2952337735C2777212361 @default.
• W2952337735 hasConceptScore W2952337735C2778029271 @default.
• W2952337735 hasConceptScore W2952337735C2780990831 @default.
• W2952337735 hasConceptScore W2952337735C33923547 @default.
• W2952337735 hasConceptScore W2952337735C41008148 @default.
• W2952337735 hasLocation W29523377351 @default.
• W2952337735 hasOpenAccess W2952337735 @default.
• W2952337735 hasPrimaryLocation W29523377351 @default.
• W2952337735 hasRelatedWork W1565030492 @default.
• W2952337735 hasRelatedWork W1579803282 @default.
• W2952337735 hasRelatedWork W1700922650 @default.
• W2952337735 hasRelatedWork W1775654033 @default.

• next