%0 Journal Article
%T A NEW DEFINITION OF PROOF-NETS<br>一个新的证明网定义及合理性
%A Huang Linpeng
%A Sun Yongqiang
%A <br>黄林鹏
%A 孙永强
%J 软件学报
%D 1994
%I 
%X This paper presents a new definition of proof-net and proves that what the authors defined is the "natural deduction of linear logic". The complealty of deciding whether a given proof structure is a proof-net by definition is O(n * n), by the way, the proof of sequentialization of proof-nets so defined is very natural and simple.
%K Linear logic
%K proof-nets
%K parallel computation<br>线性逻辑，证明网，并行计算
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=22EB57DCAE73414F940EF88385DD7597&yid=3EBE383EEA0A6494&vid=94C357A881DFC066&iid=F3090AE9B60B7ED1&sid=27746BCEEE58E9DC&eid=42425781F0B1C26E&journal_id=1000-9825&journal_name=软件学报&referenced_num=0&reference_num=4