Completeness of hyper-resolution via the semantics of disjunctive logic programs
Citation
Nguyen, L & Gore, R 2005, 'Completeness of hyper-resolution via the semantics of disjunctive logic programs', Information Processing Letters, vol. 95, no. 2, pp. 363-369.Year
2005ANU Authors
Fields of Research
- Computational Logic And Formal Languages
- Computation Theory And Mathematics Not Elsewhere Classified