✦ LIBER ✦
Automatic Inference of Determinacy and Mutual Exclusion for Logic Programs Using Mode and Type Analyses
✍ Scribed by Pedro Lopez-Garcia; Francisco Bueno; Manuel Hermenegildo
- Book ID
- 106041237
- Publisher
- Springer
- Year
- 2010
- Tongue
- English
- Weight
- 688 KB
- Volume
- 28
- Category
- Article
- ISSN
- 0288-3635
No coin nor oath required. For personal study only.