Publisher
Springer International Publishing
Reference21 articles.
1. Assaf, A., Burel, G.: Translating HOL to Dedukti (2013) (submitted)
2. Bachmair, L., Dershowitz, N., Plaisted, D.: Completion without failure. In: Aït-Kaci, H., Nivat, M. (eds.) Resolution of Equations in Algebraic Structures. Rewriting Techniques, vol. 2, pp. 1–30. Academic Press Inc. (1989)
3. Bachmair, L., Ganzinger, H.: Rewrite-based equational theorem proving with selection and simplification. Journal of Logic and Computation 4(3), 1–31 (1994)
4. Bachmair, L., Ganzinger, H.: Resolution theorem proving. In: Robinson, J.A., Voronkov, A. (eds.) Handbook of Automated Reasoning, pp. 19–99. Elsevier and MIT Press (2001)
5. Burel, G.: From axioms to rewriting rules, available on author’s web page
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献