zKRuYwBnrMzAQX5BqDwRcuTxfWlvkfxXG7cowWwB68d8hWoF0H7OrKwE6WgN
Current position: Home >> Scientific Research >> Paper Publications

A cirquent calculus system with clustering and ranking

Hits:

Institution:数学与统计学院

Title of Paper:A cirquent calculus system with clustering and ranking

Journal:JOURNAL OF APPLIED LOGIC

First Author:Xu, Wenyan

Document Code:SCI WOS:000377233100003

Volume:16

Page Number:37-49

ISSN:1570-8683

Translation or Not:No

Date of Publication:2016-01-01

Included Journals:SCI

Date:2018-06-08

Prev One:A formal system for propositional extended IF logic

Next One:Soundness and completeness of the cirquent calculus system CL6 for computability logic