%0 Journal Article
%T Soundness and completeness of Kung’s reasoning procedure<br>Soundness and Completeness of Kung s Reasoning Procedure
%A Renwei Li
%A <br>Li
%A Renwei
%J 计算机科学技术学报
%D 1988
%I 
%X 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.
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=F57FEF5FAEE544283F43708D560ABF1B&aid=63EEA7750044DAF1E2ACCF7CE3F401B6&yid=0702FE8EC3581E51&vid=38B194292C032A66&iid=CA4FD0336C81A37A&sid=DF92D298D3FF1E6E&eid=23CCDDCD68FFCC2F&journal_id=1000-9000&journal_name=计算机科学技术学报&referenced_num=0&reference_num=5