Brigitte Pientka

Instantiation of Existentially Quantified Variables in Inductive Specification Proofs
Brigitte Pientka, May 5, 1998
A Uniform Rippling Approach for Instantiating Free Variables
Brigitte Pientka, December 2, 1997


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


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