Publisher
Springer Berlin Heidelberg
Reference15 articles.
1. Bachmair, L., Ganzinger, H.: Rewrite-based equational theorem proving with selection and simplification. Journal of Logic and Computation 4(3), 217–247 (1994)
2. Lecture Notes in Artificial Intelligence;P. Baumgartner,2003
3. Bezem, M.: Disproving distributivity in lattices using geometric logic. In: Workshop on Disproving, Non-Theorems, Non-Validity, Non-Provability, informal proceedings, July 2005, pp. 24–31 (2005)
4. Lecture Notes in Artificial Intelligence;M. Bezem,2005
5. Lecture Notes in Artificial Intelligence;F. Bry,1998
Cited by
21 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献