Uwe Egly

On Intuitionistic Proof Transformations and their Application to Constructive Program Synthesis
Uwe Egly, Visitor from Technische Universitaet Wien, September 22, 1998


Home | Introduction |Authors | Topics | Chronological List | PRL Project


Melissa Totman, Department of Computer Science, Cornell University, Ithaca, NY. Mail to: mtotman@cs.cornell.edu