Yongjae Cha (FSU) Local types of difference equations are valuation growth and generalized exponents and these are invariant under gauge equivalence. We will see how this can be used to solve difference equations.