Skip navigation
The Australian National University

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

2005

ANU Authors

Fields of Research

  • Computational Logic And Formal Languages
  • Computation Theory And Mathematics Not Elsewhere Classified

Updated:  24 November 2017 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers