Computational theory would be a better name, but it overlaps with a more specific subset of what is normally called CS.