Dexter Kozen
-
Deletion along trajectories
Theoretical Computer Science
We give a characterization of regularity-preserving functions.