Author:
Bachmair Leo,Dershowitz Nachum
Publisher
Springer Berlin Heidelberg
Reference12 articles.
1. Bachmair, L. (1987). Proof methods for equational theories. Ph.D. thesis, Dept. of Computer Science, Univ. of Illinois at Urbana-Champaign.
2. Bachmair, L., and Dershowitz, N. (1986). Critical pair criteria for the Knuth-Bendix completion method. Proc. Symp. on Symbolic and Algebraic Computation, B. W. Char, ed., Waterloo, Canada, 215–217. (Revised version to appear in J. Symbolic Computation.)
3. Bachmair, L., Dershowitz, N., and Hsiang, J. (1986). Orderings for equational proofs. Proc. IEEE Symp. Logic in Computer Science, Cambridge, Massachusetts, 346–357.
4. Hullot, J.-M. (1980). A catalogue of canonical term rewriting systems. Tech. Rep. CSL-113, SRI International, Menlo Park, California.
5. Lect. Notes in Comp. Sci.;J.-P. Jouannaud,1983
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献