Stephan Schmitt

An Efficient Refiner for First-order Intuitionistic Logic (Part II)
Stephan Schmitt, May 22, 2000
An Efficient Refiner for First-order Intuitionistic Logic
Stephan Schmitt, Febuary 28, 2000
Efficient Automated Proof Search and Proof Reconstruction in Intuitionistic Logic
Jens Otten and Stephen Schmitt, June 23, 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