Marko Petkovsek Finding Closed-Form Solutions of Difference Equations by Symbolic Methods Degree Type: Ph.D. in Computer Science Advisor(s): Dana Scott Graduated: May 1991