Publisher
Springer Berlin Heidelberg
Reference19 articles.
1. Leo Bachmair. Proof by consistency in equational theories. In 3rd Proc. IEEE Symp. Logic in Computer Science, pages 228–233, July 1988.
2. Leo Bachmair and Harald Ganzinger. Rewrite techniques for transitive relations. Technical Report MPI-I-93-249, Max-Planck-Institut für Informatik, Saarbrücken, Germany, November 1993.
3. Rudolf Berghammer, Herbert Ehler, and Hans Zierer. Towards an algebraic specification of code generation. Science of Computer Programming, 11:45–63, 1988. Also as technical report TUM-I8707, June, 1987, Technische Universität München, Germany.
4. Robert S. Boyer and J. Strother Moore. A computational logic handbook. Academic Press, 1988.
5. Nachum Dershowitz and Jean-Pierre Jouannaud. Rewrite systems. In Jan van Leeuwen, editor, Handbook of Theoretical Computer Science, Vol. B, chapter 6, pages 243–320. Elsevier, 1990.
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献