Rensselaer Polytechnic Institute, Department of Computer Science

Tech reports (www)
Papers (ftp) on the Tecton Language and Proof System
Papers (ftp) from Wm.R.Franklin
Papers (ftp) from E.Kaltofen
Papers (ftp) from B.Maniatty
Papers (ftp) from C.Ozturan
Papers (ftp) from B.Szymanski
Papers (ftp) from J.Valois
Human contact - <schongar@cs.rpi.edu>