A Reduction Approach to Decision Procedures Deepak Kapur and Calogero G. Zarba University of New Mexico Abstract. We present an approach for designing decision procedures based on the reduction of complex theories to sim

First Page		Document Content
Date: 2005-11-14 22:00:54		A Reduction Approach to Decision Procedures Deepak Kapur and Calogero G. Zarba University of New Mexico Abstract. We present an approach for designing decision procedures based on the reduction of complex theories to sim Add to Reading List Source URL: www.cs.unm.edu Download Document from Source Website File Size: 265,47 KB Share Document on Facebook