![](https://www.pdfsearch.io/img/95158efb5126f82e002b0f52a2cab0f8.jpg) Date: 2009-08-18 19:10:21
| | Automatic Inference of Determinacy and Mutual Exclusion for Logic Programs Using Mode and Type Analyses Pedro LOPEZ-GARCIA1,2 , Francisco BUENO3 and Manuel HERMENEGILDO1,3 1Add to Reading ListSource URL: cliplab.orgDownload Document from Source Website File Size: 286,77 KBShare Document on Facebook
|