Publisher
Springer Berlin Heidelberg
Reference11 articles.
1. J.C.M.Baeten, J.A.Bergstra, J.W.Klop, Term Rewriting Systems with Priorities, Proc. 2nd Conf. Rewriting Techniques and Applications, Springer-Verlag LNCS 256, 1987.
2. G. Birkhoff, On the Structure of Abstract Algebras, Proc. Cambridge Philosophical Society 31, pp.433–454, 1935.
3. N.Dershowitz, J.-P.Jouannaud, Rewrite Systems, (to appear) in Handbook of Theoretical Computer Science, 1990.
4. J.-P.Jouannaud, B.Waldmann, Reductive Conditional Term Rewriting Systems, Proc. Third TC2 Working Conf. on the Formal Description of Programming Concepts, Ebberup (Denmark), Aug. 1986.
5. S. Kaplan, Simplifying Conditional Term Rewriting Systems: Unification, Termination and Confluence, Rapport de Recherche no. 194, Universite de Paris-Sud, Nov. 1984.