Publisher
Springer International Publishing
Reference22 articles.
1. Bachmair, L., Ganzinger, H.: Rewrite-based equational theorem proving with selection and simplification. JLC 4(3), 217–247 (1994)
2. Lecture Notes in Computer Science;B Beckert,1998
3. Burgess, J.P.: Quick completeness proofs for some logics of conditionals. Notre Dame J. Formal Log. 22(1), 76–84 (1981)
4. Chellas, B.: Modal Logic. Cambridge University Press, Cambridge (1980)
5. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);A David,2015
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献