![](https://www.pdfsearch.io/img/884958180a55379c096ea3a4b9edc5a3.jpg) 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 simAdd to Reading ListSource URL: www.cs.unm.eduDownload Document from Source Website File Size: 265,47 KBShare Document on Facebook
|