1 citations · 2 across the 2 of their papers we have counts for
1 paper · 1 filter
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…