Author:
Li Lian,Li Huilin,Liu Yixun
Reference15 articles.
1. Decidable sentences of Church-Rosser congruences;Book;Theoret. Comput. Sci.,1983
2. True systems as rewriting systems;Book;J. Symbolic Computation,1987
3. Equality-based binary resolution;Digricoli;J. ACM,1986
4. A Mathematical Introduction to Logic;Enderton,1972
5. The Computational Complexity of Logical Theories;Ferrante,1979
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Logic Studies in Mainland China;Dao Companion to Chinese Philosophy of Logic;2020
2. A Formal Proof of the Computation of Hermite Normal Form in a General Setting;Artificial Intelligence and Symbolic Computation;2018