Combining Proofs to form Different Proofs

by
Geoff Sutcliffe
University of Miami, USA
Cynthia Chang
Rensselaer Polytechnic Institute, USA
Deborah L. McGuinness, Tim Lebo, Li Ding
Rensselaer Polytechnic Institute, USA
Paulo Pinheiro da Silva
University of Texas at El Paso, USA

Abstract

Paper (PDF)