OALib Journal期刊
ISSN: 2333-9721
费用：99美元

投递稿件

查看量	下载量

- 1993

输入调解法和单元调解法在Horn集上的完备性

Full-Text Cite this paper Add to My Lib

Abstract:

本文证明了调解法的提升引理,以及输入调解法对Horn集的完备性,进而证出了单元调解法对Horn集的完备性

Contact Us

service@oalib.com

WhatsApp +8615387084133