Soundness and Completeness of Kung s Reasoning Procedure

Li Renwei. Soundness and Completeness of Kung s Reasoning Procedure[J]. Journal of Computer Science and Technology, 1988, 3(1): 7-15.

Citation:

Li Renwei. Soundness and Completeness of Kung s Reasoning Procedure[J]. Journal of Computer Science and Technology, 1988, 3(1): 7-15.

Citation:

Li Renwei. Soundness and Completeness of Kung s Reasoning Procedure[J]. Journal of Computer Science and Technology, 1988, 3(1): 7-15.

Abstract

Kung s reasoning procedure is characterized by high parallelism in the sense that an unlimited number of CPUs can be used to carry out the computation in parallel.This paper presents a proof of the soundness and completeness of the reasoning procedure based on Herbrand s theorem.

FullText(HTML)

Export File