Completeness of a top-down declarative error diagnoser: International Journal of Computer Mathematics: Vol 28, No 1-4

Views

CrossRef citations to date

Altmetric

Abstract

A completeness theorem for a top-down version of a declarative error diagnoser in [1] (also in [2]), which can locate wrong answers and missing answers in arbitrary first order logic programming, has been proved in this paper.

Keywords:

C.R. Categories:

F.4.1

Reprints and Corporate Permissions

Please note: Selecting permissions does not provide access to the full text of the article, please see our help page How do I view content?

To request a reprint or corporate permissions for this article, please click on the relevant link below:

Order Reprints Request Corporate Permissions

Academic Permissions

Please note: Selecting permissions does not provide access to the full text of the article, please see our help page How do I view content?

Obtain permissions instantly via Rightslink by clicking on the button below:

Request Academic Permissions

If you are unable to obtain permissions via Rightslink, please complete and submit this Permissions form. For more information, please visit our Permissions help page.

Completeness of a top-down declarative error diagnoser

Information for

Open access

Opportunities

Help and information

Completeness of a top-down declarative error diagnoser

Abstract

Reprints and Corporate Permissions

Academic Permissions

Related research

To cite this article:

Download citation

Information for

Open access

Opportunities

Help and information

Keep up to date

Your download is now in progress and you may close this window

Login or register to access this feature