1 citations · 1 across the 1 of their papers we have counts for
1 paper
Thomas Schwentick, Nils Vortmeier, Thomas Zeume
This paper studies dynamic complexity under definable change operations in the DynFO framework by Patnaik and Immerman. It is shown that for changes definable by parameter-free fir…