Dissertation Title: Expressing Optimization Problems as
Integer Programs, and Undirected Path Problems: a Descriptive
Complexity Approach
Madhukar Thakur, 1993
Dissertation Title:
Descriptive Complexity of Optimization and Counting Problems
Genealogy Tree:
To Leibniz through Moschovakis, Kleene and Church
Phokion G. Kolaitis
Computer Science and Engineering Department
University of California, Santa Cruz
Santa Cruz, CA 95064, USA
(831) 459-4768
kolaitis at ucsc.edu